Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Model-checking of real-time systems
Home
Publications
Model-checking of real-time systems
Model-checking of real-time systems
RA
Rajeev Alur
Rajeev Alur
LJ
Lalita Jategaonkar Jagadeesan
Lalita Jategaonkar Jagadeesan
JK
Joseph J. Kott
Joseph J. Kott
JO
James E. Von Olnhausen
James E. Von Olnhausen
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
1 January 1997
proceedings article
Published by
Association for Computing Machinery (ACM)
p.
514-524
https://doi.org/10.1145/253228.253434
Abstract
No abstract available
Keywords
FORMAL METHODS
MODEL CHECKING
PROBABILISTIC VERIFICATION
REAL-TIME VERIFICATION
TELECOMMUNICATIONS SOFTWARE
Cited by 21 articles