Graphical specifications for concurrent software systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Alternating the Temporal Picture for Safety
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Checking Finite Traces Using Alternating Automata
Formal Methods in System Design
Collecting Statistics Over Runtime Executions
Formal Methods in System Design
| Hi-index | 0.00 |