Author:
Fernández Calzado M.ª R.,Casares Porcel M.,Blanco Houston J.,Molero Mesa J.
Subject
Ecology,Ecology, Evolution, Behavior and Systematics
Reference47 articles.
1. Temporal logics for real-time system specification
2. Real-time logics: complexity and expressiveness
3. Formal methods for the specification and design of real-time safety critical systems
4. 4. Øhrstrøm P, Hasle P F. Temporal logic: from ancient ideas to artificial intellgience. Dordrecht, The Netherlands: Kluwer Academic Publishers, 1995
5. Logics for real time: decidability and complexity.;Hirshfeld;Fundamenta Informaticae,2004
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献