The Expressive Power of Temporal Logic of Actions (Extended Abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Stutter-Invariant Languages, omega-Automata, and Temporal Logic
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Specification Languages for Stutter-Invariant Regular Properties
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Hi-index | 0.00 |