Alur, Rajeev., Henzinger, Thomas., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Larsen, Kim G., Skou, Arne, SpringerLink (Online service)
Springer-Verlag
|
Wolper, Pierre, SpringerLink (Online service)
Springer-Verlag
|
Srivas, Mandayam, Camilleri, Albert, SpringerLink (Online service)
Springer-Verlag
|
Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)
Springer-Verlag
|
McRobbie, M. A., Slaney, J. K., SpringerLink (Online service)
Springer-Verlag
|
CAV (Conference), Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.)
Springer-Verlag
|
Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)
Springer-Verlag
|
Ganzinger, Harald, SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev, Henzinger, Thomas A., Sontag, Eduardo D., SpringerLink (Online service)
Springer-Verlag
|
Wirsing, Martin, Nivat, Maurice, SpringerLink (Online service)
Springer-Verlag
|
Alagar, V. S., Nivat, Maurice, SpringerLink (Online service)
Springer-Verlag
|