Dill, David L., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)
Springer-Verlag
|
Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)
Springer-Verlag
|
Courcoubetis, Costas., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Courcoubetis, Costas, SpringerLink (Online service)
Springer-Verlag
|
Larsen, Kim G., Skou, Arne, SpringerLink (Online service)
Springer-Verlag
|
Wolper, Pierre, SpringerLink (Online service)
Springer-Verlag
|
Wolper, Pierre., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Bochmann, Gregor, Probst, David Karl, SpringerLink (Online service)
Springer-Verlag
|
Srivas, Mandayam, Camilleri, Albert, SpringerLink (Online service)
Springer-Verlag
|
CAV (Conference), Dill, David L.
Springer-Verlag
|
Bochmann, Gregor von., Probst, David K., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|