Automated Verification of Critical Systems 2011 (2012)
Attributed to:
Trustworthy Ambient Systems (TRAMS)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://journal.ub.tu-berlin.de/eceasst/issue/view/58
Type: Book edited
ISBN: -