Banieqbal, Behnam., Barringer, Howard., Pnueli, Amir., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Tarlecki, Andrzej, SpringerLink (Online service)
Springer-Verlag
|
Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service)
Springer-Verlag
|
Wiedermann, Jiří, Hájek, Petr, SpringerLink (Online service)
Springer-Verlag
|
Abramsky, S., Maibaum, T. S. E., SpringerLink (Online service)
Springer-Verlag
|
Nori, Kesav V., Veni Madhavan, C. E., SpringerLink (Online service)
Springer-Verlag
|
Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel, SpringerLink (Online service)
Springer-Verlag
|
Havel, Ivan M., Koubek, Václav, SpringerLink (Online service)
Springer-Verlag
|
Banieqbal, Behnam, Barringer, Howard, 1951-, Pnueli, A. (Amir), Colloquium on Temporal Logic in Specification
Springer-Verlag
|
Prívara, Igor, Rovan, Branislav, Ruzička, Peter, SpringerLink (Online service)
Springer-Verlag
|
Möller, Bernhard, SpringerLink (Online service)
Springer-Verlag
|
Mogavero, Fabio, SpringerLink (Online service)
Atlantis Press : Imprint: Atlantis Press
|