REAL-TIME LOGICS - COMPLEXITY AND EXPRESSIVENESS

Authors
ALUR R HENZINGER TA
Citation
R. Alur et Ta. Henzinger, REAL-TIME LOGICS - COMPLEXITY AND EXPRESSIVENESS, Information and computation, 104(1), 1993, pp. 35-77
Citations number
43
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
35 - 77
Database
ISI
SICI code
0890-5401(1993)104:1<35:RL-CAE>2.0.ZU;2-C