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

Formal modeling and analysis of timed systems

first international workshop, Marseille, France, September 6 - 7, 2003 : revised papers
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2791
Media group: MONOGRAPHIE
available

Copies

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

Content

International workshop on formal modeling and analysis of timed systems <1, 2003, Marseille>

Details

Search for this author
Year: 2004
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-21671-5
Description: VIII, 280 S.
Series: Lecture notes in computer science; 2791
Participating parties: Search for this character Larsen, Kim Guldstrand; Niebert, Peter
Parallel title: FORMATS 2003
Media group: MONOGRAPHIE