Cover von Modeling, Analysis, and Verification; 1 opens in new tab

Modeling, Analysis, and Verification; 1

The Formal Methods Manifesto 2010 : pp. 21-40
Search for this author
Year: 2011
Publisher: Wadern, LZI
Dagstuhl Manifestos
Count: 1
Media group: DAGSTUHL-MANIFESTOS
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: OpenAccess

Details

Search for this author
Year: 2011
Publisher: Wadern, LZI
Parent work: Dagstuhl Manifestos
Works included: Dagstuhl Perspectives Workshop 10482
opens in new tab
Search for this systematic
Search for this subject type
Volume: 1,1
Count: 1
Participating parties: Search for this character Kreiker, Jörg; Tarlecki, Andrzej; Vardi, Moshe Y.; Wilhelm, Reinhard
Media group: DAGSTUHL-MANIFESTOS