MODEL-CHECKING IN DENSE REAL-TIME

Authors
ALUR R COURCOUBETIS C DILL D
Citation
R. Alur et al., MODEL-CHECKING IN DENSE REAL-TIME, Information and computation, 104(1), 1993, pp. 2-34
Citations number
35
Categorie Soggetti
Information Science & Library Science",Mathematics,"Computer Applications & Cybernetics
Journal title
Information and computation → ACNP
ISSN journal
08905401
Volume
104
Issue
1
Year of publication
1993
Pages
2 - 34
Database
ISI
SICI code
0890-5401(1993)104:1<2:MIDR>2.0.ZU;2-E