Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Model-Checking in Dense Real-Time
Home
Publications
Model-Checking in Dense Real-Time
Model-Checking in Dense Real-Time
RA
R. Alur
R. Alur
CC
C. Courcoubetis
C. Courcoubetis
DD
D. Dill
D. Dill
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 May 1993
journal article
Published by
Elsevier
in
Information and Computation
Vol. 104
(1)
,
2-34
https://doi.org/10.1006/inco.1993.1024
Abstract
No abstract available
Cited by 549 articles