Generalizing the Modal and Temporal Logic of Linear Time
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
On Hybrid Systems and the Modal µ-calculus
Hybrid Systems V
Hi-index | 0.01 |