Logic Based Abstractions of Real-Time Systems
Formal Methods in System Design
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
Compositionality and locality for improving model checking in the selective mu-calculus
Science of Computer Programming
Reduced Models for Efficient CCS Verification
Formal Methods in System Design
Hi-index | 0.00 |