View in EDS PDF Full Text

Synthesizing robust systems.

Saved in:
Bibliographic Details
Title: Synthesizing robust systems.
Authors: Bloem, Roderick1, Chatterjee, Krishnendu2, Greimel, Karin3, Henzinger, Thomas2, Hofferek, Georg1, Jobstmann, Barbara4, Könighofer, Bettina1, Könighofer, Robert1, robert.koenighofer@iaik.tugraz.at
Source: Acta Informatica; Jun2014, Vol. 51 Issue 3/4, p193-220, 28p
Database: Applied Science & Technology Source
Description
ISSN:00015903
DOI:10.1007/s00236-013-0191-5