Cover von Formal modeling and analysis of timed systems opens in new tab

Formal modeling and analysis of timed systems

6th international conference, Saint Malo, France, September 15 - 17, 2008, proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5215
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 5215 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International conference on formal modeling and analysis of timed systems <6, 2008, Saint Malo>

Details

Search for this author
Year: 2008
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-540-85777-8
ISBN (2nd): 3-540-85777-X
Description: XI, 294 S.
Series: Lecture notes in computer science; 5215
Participating parties: Search for this character Cassez, Franck; Jard, Claude
Parallel title: FORMATS 2008
Media group: MONOGRAPHIE