Efficient and User-Friendly Verification
IEEE Transactions on Computers
Model checking of systems with many identical timed processes
Theoretical Computer Science
Concurrent Embedded Real-Time Software Verification
COMPSAC '00 24th International Computer Software and Applications Conference
Model Checking Safety-Critical Systems Using Safecharts
IEEE Transactions on Computers
EXPTIME-complete Decision Problems for Modal and Mixed Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and verification of safety-critical systems using safecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On modal refinement and consistency
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
| Hi-index | 0.01 |