Godefroid, Patrice., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Dolev, D., Galil, Z., Rodeh, M., SpringerLink (Online service)
Springer-Verlag
|
Godefroid, Patrice
Springer
|
Antsaklis, Panos, Kohn, Wolf, Nerode, Anil, Sastry, Shankar, SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev, Henzinger, Thomas A., Sontag, Eduardo D., SpringerLink (Online service)
Springer-Verlag
|
Dill, David L., SpringerLink (Online service)
Springer-Verlag
|
Sifakis, Joseph, SpringerLink (Online service)
Springer-Verlag
|
Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)
Springer-Verlag
|
Montanari, Ugo, Sassone, Vladimiro, SpringerLink (Online service)
Springer-Verlag
|
Wirsing, Martin, Bergstra, Jan A., SpringerLink (Online service)
Springer-Verlag
|
Grossman, Robert L., Nerode, Anil, Ravn, Anders P., Rischel, Hans, SpringerLink (Online service)
Springer-Verlag
|
Bergstra, J. A., Feijs, L. M. G., SpringerLink (Online service)
Springer-Verlag
|