Characterizing Kripke structures in temporal logic

Authors:
M. C. Browne;E. M. Clarke;O. Grümberg
Affiliations:
-;-;-
Venue:
The International Joint Conference on theory and practice of software development on TAPSOFT '87
Year:
1987

Citing 0
Cited 3

On the definability of simulability and bisimilarity by finite epistemic models

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Action models for knowledge and awareness

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Encapsulating deontic and branching time specifications

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract