Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Knowledge based programs: on the complexity of perfect recall in finite environments
TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Knowledge-Based Asynchronous Programming
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Hi-index | 0.00 |