Approach to Verification of Models of Real Time Systems Using Method of Model Checking
А.М. Андреев
◽
◽
И.А. Козлов
◽
N. Rico
◽
G. Bochmann
◽
O. Cherkaoui
1994 ◽
Vol 111
(2)
◽
pp. 193-244
◽
T.A. Henzinger
◽
X. Nicollin
◽
J. Sifakis
◽
S. Yovine
Xiaoqun Du
◽
C.R. Ramakrishnan
◽
S.A. Smolka
Béatrice Bérard
◽
Michel Bidoit
◽
Alain Finkel
◽
François Laroussinie
◽
Antoine Petit
◽
...
A. Jalil Boudjadar
◽
Jin Hyun Kim
◽
Kim G. Larsen
◽
Ulrik Nyman
1997 ◽
Vol 19
(2)
◽
pp. 386-412
◽
Jin Yang
◽
Aloysius K. Mok
◽
Farn Wang
T.A. Henzinger
◽
X. Nicollin
◽
J. Sifakis
◽
S. Yovine
Rajeev Alur
◽
Mikhail Bernadsky
Oleg V. Sokolsky
◽
Scott A. Smolka