Formal Verification of Concurrent Programs Using the Larch Prover
IEEE Transactions on Software Engineering
Modal and mixed specifications: Key decision problems and their complexities
Mathematical Structures in Computer Science
On modal refinement and consistency
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Hi-index | 0.00 |