Wiedijk, Freek., Maler, Oded., Pnueli, Amir., SpringerLink (Online service)
|
Henzinger, Thomas A., Sastry, Shankar., SpringerLink (Online service)
|
Grossman, Robert L., Nerode, Anil., Ravn, Anders P., Rischel, Hans., SpringerLink (Online service)
|
Katoen, Jost-Pieter., SpringerLink (Online service)
|
Antsaklis, Panos., Kohn, Wolf., Nerode, Anil., Sastry, Shankar., SpringerLink (Online service)
|
Bertran, Miquel., Rus, Teodor., SpringerLink (Online service)
|
Lakhnech, Yassine., Yovine, Sergio., SpringerLink (Online service)
|
Lynch, Nancy., Krogh, Bruce., SpringerLink (Online service)
|
Tomlin, Claire J., Greenstreet, Mark R., SpringerLink (Online service)
|
International Workshop on Hybrid and Real-Time Systems, Maler, Oded
Springer-Verlag
|
Morari, Manfred., Thiele, Lothar., Rossi, Francesca., SpringerLink (Online service)
|
Vaandrager, Frits W., Schuppen, Jan H. van., SpringerLink (Online service)
|