Larsen, Kim G., Skou, Arne., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Courcoubetis, Costas, SpringerLink (Online service)
Springer-Verlag
|
Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)
Springer-Verlag
|
Bakker, J. W., Huizing, C., Roever, W. P., Rozenberg, G., SpringerLink (Online service)
Springer-Verlag
|
Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948-, Workshop on Computer-Aided Verification
Springer-Verlag
|
Alagar, V. S., Nivat, Maurice, SpringerLink (Online service)
Springer-Verlag
|
Wolper, Pierre, SpringerLink (Online service)
Springer-Verlag
|
Sifakis, Joseph, SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)
Springer-Verlag
|
Wirsing, Martin, Nivat, Maurice, SpringerLink (Online service)
Springer-Verlag
|
Bochmann, Gregor, Probst, David Karl, SpringerLink (Online service)
Springer-Verlag
|
Dill, David L., SpringerLink (Online service)
Springer-Verlag
|