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