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