Cover von Special issue on selected papers from the first international workshop on runtime verification held in Paris; 2 opens in new tab

Special issue on selected papers from the first international workshop on runtime verification held in Paris; 2

July 2001 : S. 99 - 215
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 2
Media group: SPECIAL ISSUE
available

Copies

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

Content

International workshop on runtime verification <1, 2001, Paris>

Details

Search for this author
Year: 2004
Publisher: Boston, Kluwer
opens in new tab
Search for this systematic
Search for this subject type
Volume: 24
Count: 2
Participating parties: Search for this character Havelund, Klaus; Rosu, Grigore
Parallel title: RV 2001
Media group: SPECIAL ISSUE