Automated Verification of Critical Systems 2011 (2012)

First Author: Alexander Romanovsky

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: -