%0 Conference Paper
%1 conf/syscon/MayoAH15
%A Mayo, Jackson R.
%A Armstrong, Robert C.
%A Hulette, Geoffrey C.
%B SysCon
%D 2015
%I IEEE
%K dblp
%P 109-114
%T Digital system robustness via design constraints: The lesson of formal methods.
%U http://dblp.uni-trier.de/db/conf/syscon/syscon2015.html#MayoAH15
%@ 978-1-4799-5927-3
@inproceedings{conf/syscon/MayoAH15,
added-at = {2016-10-28T00:00:00.000+0200},
author = {Mayo, Jackson R. and Armstrong, Robert C. and Hulette, Geoffrey C.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21480c3e5df331a740c0408ed6bc6641a/dblp},
booktitle = {SysCon},
crossref = {conf/syscon/2015},
ee = {http://dx.doi.org/10.1109/SYSCON.2015.7116737},
interhash = {06b215a18531b41d851fbf4876d7f06f},
intrahash = {1480c3e5df331a740c0408ed6bc6641a},
isbn = {978-1-4799-5927-3},
keywords = {dblp},
pages = {109-114},
publisher = {IEEE},
timestamp = {2016-10-29T09:34:50.000+0200},
title = {Digital system robustness via design constraints: The lesson of formal methods.},
url = {http://dblp.uni-trier.de/db/conf/syscon/syscon2015.html#MayoAH15},
year = 2015
}
