Back to result list  
Pervasive verification of distributed real-time systems
Author / Editor: Knapp, Steffen ; Paul, Wolfgang J.
Place of publication: Amsterdam [u.a.] | Year of Publication: 2007 | Publisher: IOS Press
Call number: ECO N55 47364#S.239-297

[Search within document] [PDF-Download]
Search within document
Options
[Help] [New search] [new search in this document]

No Result

  • Check if keywords are spelled correctly.
  • Try more general search words.
  • Enter different search words.
  • Try spelling with hyphen.