11 citations · 20 across the 9 of their papers we have counts for
1 paper · 1 filter
Indranil Saha, Janardan Misra, Suman Roy
We revisit the problem of real-time verification with dense dynamics using timeout and calendar based models and simplify this to a finite state verification problem. To overcome t…