search result

Cover von Computer aided verification
14th international conference, Copenhagen, Denmark, July 27 - 31, 2002, proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 2404
Media group: MONOGRAPHIE
Cover von Methods for modelling software systems (MMOSS)
Search for this author
Year: 2006
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 06351
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Tools and algorithms for the construction and analysis of systems
first international workshop : Aarhus, Denmark, May 19 - 20, 1995 : selected papers
Search for this author
Year: 1995
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1019
Media group: MONOGRAPHIE
OPEN V 11.1.0.0