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:18 - 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