From ATP to Timed Graphs and Hybrid Systems (1993)

Cached

Download Links

by Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Citations:85 - 9 self

Documents Related by Co-Citation

11502 Computers and Intractability, A Guide to the Theory of NPCompleteness – M R Garey, D S Johnson - 1979
510 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
383 Model-checking for real-time systems – R Alur, C Courcoubetis, D Dill - 1990
2176 A theory of timed automata – Rajeev Alur - 1999
3430 Communication and Concurrency – R Milner - 1989
438 Automata for Modelling Real-Time Systems – Rajeev Alur, David L Dill - 1994
259 A Really Temporal Logic – R Alur, T A Henzinger - 1994
1246 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
176 A temporal calculus of communicating systems – F Moller, C M N Tofts - 1990