Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
Some Considerations on Branching Areas of Time
Journal of Logic, Language and Information
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Modal Mu-Calculus for Durational Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |