PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
Alternating-time temporal logic
Journal of the ACM (JACM)
Synchronizations in Team Automata for Groupware Systems
Computer Supported Cooperative Work
Trade-off results for connection management
Theoretical Computer Science
Improving the Verification of Timed Systems Using Influence Information
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Alternating-Time Temporal Logic
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Information and Computation
Simulation and verification II: from timed automata to DEVS models
Proceedings of the 35th conference on Winter simulation: driving innovation
Modularity for teams of I/O automata
Information Processing Letters
Modularity for teams of I/O automata
Information Processing Letters
Timed concurrent game structures
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |