Wirsing, Martin, Nivat, Maurice, SpringerLink (Online service)
Springer-Verlag
|
Mosses, Peter D., Nielsen, Mogens, Schwartzbach, Michael I., SpringerLink (Online service)
Springer-Verlag
|
Alagar, V.S., Nivat, Maurice., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Pitt, David, Rydeheard, David E., Johnstone, Peter, SpringerLink (Online service)
Springer-Verlag
|
Wolper, Pierre, SpringerLink (Online service)
Springer-Verlag
|
Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service)
Springer-Verlag
|
International Conference on Algebraic Methodology and Software Technology, Alagar, Vangalur S., 1940-, Nivat, Maurice
Springer-Verlag
|
Larsen, Kim G., Skou, Arne, SpringerLink (Online service)
Springer-Verlag
|
Wirsing, Martin., Nivat, Maurice., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service)
Springer-Verlag
|
Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)
Springer-Verlag
|
Möller, Bernhard, SpringerLink (Online service)
Springer-Verlag
|