Model Checking of Real-Time Systems: A Telecommunications Application (1997)
by
Rajeev Alur
,
Lalita Jategaonkar Jagadeesan
,
Joseph J. Kott
,
James E. Von Olnhausen
| Venue: | IN PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING |
| Citations: | 17 - 1 self |
Document Versions
| Model Checking of Real-Time Systems: A Telecommunications Application –Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James E. Von Olnhausen — 1997 — IN PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING |
| Model-Checking of Real-Time Systems: A Telecommunications Application - Experience Report –Rajeev Alur, Lalita Jategaonkar Jagadeesan, Joseph J. Kott, James E. Von Olnhausen — 1997 — In Proceedings of the 19th International Conference on Software Engineering |
