by
AOSE 2006 (2006 : Hakodate-shi, Japan)
Author
AOSE 2006 (2006 : Hakodate-shi, Japan), Padgham, Lin., Zambonelli, Franco., SpringerLink (Online service)
Format:
Call Number
EB 001229
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540709459
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
CBSE 2007 (2007 : Medford, Mass.)
Author
CBSE 2007 (2007 : Medford, Mass.), Schmidt, Heinz W., SpringerLink (Online service)
Format:
Call Number
EB 001287
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540735519
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
SELMAS 2006 (2006 : Shanghai, China)
Author
SELMAS 2006 (2006 : Shanghai, China), Choren, Ricardo, SpringerLink (Online service)
Format:
Call Number
EB 001263
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540731313
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
PROFES 2007 (2007 : Riga, Latvia)
Author
PROFES 2007 (2007 : Riga, Latvia), Munch, Jurgen, Abrahamsson, Pekka., SpringerLink (Online service)
Format:
Call Number
EB 001279
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540734604
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany)
Author
International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany), Brim, Lubos, SpringerLink (Online service)
Format:
Call Number
EB 001230
Publisher
Springer-Verlag GmbH.,
Publication Date
2007
ISBN
9783540709527
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies: