Cover von Formal Modeling and Analysis of Timed Systems opens in new tab

Formal Modeling and Analysis of Timed Systems

7th International Conference, Budapest, Hungary, September 14 - 16, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5813
Media group: MONOGRAPHIE
available

Copies

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

Content

International Conference on Formal Modeling and Analysis of Timed Systems <7, 2009, Budapest>

Details

Search for this author
Year: 2009
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-04367-3
ISBN (2nd): 3-642-04367-4
Description: X, 290 S.
Series: Lecture notes in computer science; 5813
Participating parties: Search for this character Ouaknine, Joël; Vaandrager, Frits W.
Parallel title: FORMATS 2009
Media group: MONOGRAPHIE