Model Checking Logics for Communicating Sequential Agents
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Distributed temporal logic for the analysis of security protocol models
Theoretical Computer Science
Hi-index | 0.00 |