The Unmet Challenge of Timed Systems
George Ungureanu
◽
Rodolfo Jordao
◽
Ingo Sander
Mani Swaminathan
◽
Martin Franzle
2001 ◽
Vol 23
(2)
◽
pp. 88-107
◽
Jesper Møller
◽
Jakob Lichtenberg
◽
Henrik R. Andersen
◽
Henrik Hulgaard
Natalia Ioustinova
◽
Natalia Sidorova
◽
Martin Steffen
Yonatan Malachi
◽
Susan S. Owicki
Thomas A. Henzinger
◽
Rupak Majumdar
◽
Vinayak S. Prabhu