Prehn, S., Toetenel, W. J., SpringerLink (Online service)
Springer-Verlag
|
Naftalin, Maurice, Denvir, Tim, Bertran, Miquel, SpringerLink (Online service)
Springer-Verlag
|
Prehn, Soren., Toetenel, Hans., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Bjørner, Dines., Hoare, C.A.R., Langmaack, Hans., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Prehn, Soren., Toetenel, Hans., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)
Springer-Verlag
|
VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953-
Springer-Verlag
|
Gaudel, Marie-Claude, Woodcock, James, SpringerLink (Online service)
Springer-Verlag
|
Bjørner, D., Hoare, C. A. R., Langmaack, H., SpringerLink (Online service)
Springer-Verlag
|
Gaudel, M. -C, Jouannaud, J. -P, SpringerLink (Online service)
Springer-Verlag
|
Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice, Thatcher, James, SpringerLink (Online service)
Springer-Verlag
|
Abramsky, S., Maibaum, T. S. E., SpringerLink (Online service)
Springer-Verlag
|