An automata-theoretic approach to modular model checking
ACM Transactions on Programming Languages and Systems (TOPLAS)
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Nesting Until and Since in Linear Temporal Logic
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Automatic Verification of Probabilistic Free Choice
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
An Until Hierarchy for Temporal Logic
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The complexity of the temporal logic with "until" over general linear time
Journal of Computer and System Sciences
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
On the expressive power of QLTL
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Reachability Problems in Piecewise FIFO Systems
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |