%0 Conference Paper %1 conf/iccd/ThackerMJL09 %A Thacker, Robert A. %A Myers, Chris J. %A Jones, Kevin R. %A Little, Scott %B ICCD %D 2009 %I IEEE Computer Society %K dblp %P 193-200 %T A new verification method for embedded systems. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2009.html#ThackerMJL09 %@ 978-1-4244-5029-9

@inproceedings{conf/iccd/ThackerMJL09, added-at = {2023-03-23T00:00:00.000+0100}, author = {Thacker, Robert A. and Myers, Chris J. and Jones, Kevin R. and Little, Scott}, biburl = {https://www.bibsonomy.org/bibtex/29dd5e2b788729729f149f77df4a3f1c9/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2009}, ee = {https://www.wikidata.org/entity/Q59859543}, interhash = {7c3ad51b43998fb9bfbd320ce5ce356b}, intrahash = {9dd5e2b788729729f149f77df4a3f1c9}, isbn = {978-1-4244-5029-9}, keywords = {dblp}, pages = {193-200}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:23:20.000+0200}, title = {A new verification method for embedded systems.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2009.html#ThackerMJL09}, year = 2009 }