Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Bochmann, Gregor, Probst, David Karl, SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)
Springer-Verlag
|
Courcoubetis, Costas, SpringerLink (Online service)
Springer-Verlag
|
Larsen, Kim G., Skou, Arne, SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev., Henzinger, Thomas., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Dill, David L., SpringerLink (Online service)
Springer-Verlag
|
Sifakis, Joseph, SpringerLink (Online service)
Springer-Verlag
|
Wolper, Pierre, SpringerLink (Online service)
Springer-Verlag
|
Bakker, J. W., Huizing, C., Roever, W. P., Rozenberg, G., SpringerLink (Online service)
Springer-Verlag
|
Clarke, E. M., Workshop on Computer-Aided Verification
Springer-Verlag
|
Bergman, Clifford H., Maddux, Roger D., Pigozzi, Don L., SpringerLink (Online service)
Springer-Verlag
|