A Logical Model for Coordination Rule Classes in Collaborative Sessions
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Difficult Configurations—On the Complexity of LTrL
Formal Methods in System Design
Efficient model checking for LTL with partial order snapshots
Theoretical Computer Science
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Efficient model checking for LTL with partial order snapshots
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
Hi-index | 0.01 |