Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Theoretical Computer Science
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Model checking: a tutorial overview
Modeling and verification of parallel processes
Structured event-b models and proofs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Hi-index | 0.00 |