by
Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland)
Author
Workshop on Computer Science Logic (21st : 2007 : Lausanne, Switzerland), Duparc, Jacques, Henzinger, Thomas A., SpringerLink (Online service)
Format:
Call Number
EB 001359
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540749158
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
CLIMA (Conference) (7th : 2006 : Hakodate-shi, Japan)
Author
CLIMA (Conference) (7th : 2006 : Hakodate-shi, Japan), Inoue, Katsumi, Satoh, Ken, Toni, Francesca, SpringerLink (Online service)
Format:
Call Number
EB 001375
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540696193
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China)
Author
ICTAC Training School on Domain Modelling and Duration Calculus (2007 : Shanghai, China), George, Chris W., Liu, Zhiming., Woodcock, Jim., SpringerLink (Online service)
Format:
Call Number
EB 001366
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540749646
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
by
MCU 2007 (2007 : Orleans, France)
Author
MCU 2007 (2007 : Orleans, France), Durand-Lose, Jerome, Margenstern, Maurice, SpringerLink (Online service)
Format:
Call Number
EB 001331
Publisher
Springer-Verlag Berlin Heidelberg,
Publication Date
2007
ISBN
9783540745938
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
Select an Action