Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Imcompleteness of States w.r.t traces in model Checking
Information and Computation
Incompleteness of states w.r.t. traces in model checking
Information and Computation
Branching vs. linear time: semantical perspective
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Authoring and verification of clinical guidelines: A model driven approach
Journal of Biomedical Informatics
An abstract interpretation perspective on linear vs. branching time
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Hi-index | 0.00 |