Verifying Systems with Replicated Components in Mur&b.phiv;
Formal Methods in System Design
Formal Verification of a Distributed Computer System
Formal Methods in System Design
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Modeling and verification of parallel processes
Feature interaction detection by pairwise analysis of LTL properties: a case study
Formal Methods in System Design
Hi-index | 0.00 |