%0 Conference Paper %1 conf/acsd/ChenHBW03 %A Chen, Xi %A Hsieh, Harry %A Balarin, Felice %A Watanabe, Yosinori %B ACSD %D 2003 %I IEEE Computer Society %K dblp %P 20-28 %T Case Studies of Model Checking for Embedded System Designs. %U http://dblp.uni-trier.de/db/conf/acsd/acsd2003.html#ChenHBW03 %@ 0-7695-1887-7

@inproceedings{conf/acsd/ChenHBW03, added-at = {2018-11-22T00:00:00.000+0100}, author = {Chen, Xi and Hsieh, Harry and Balarin, Felice and Watanabe, Yosinori}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/215392f0984765d1de62ba63c30f5809f/dblp}, booktitle = {ACSD}, crossref = {conf/acsd/2003}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSD.2003.1207696}, interhash = {216805b289f3f688dcf13f585e0913ff}, intrahash = {15392f0984765d1de62ba63c30f5809f}, isbn = {0-7695-1887-7}, keywords = {dblp}, pages = {20-28}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T20:01:47.000+0200}, title = {Case Studies of Model Checking for Embedded System Designs.}, url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2003.html#ChenHBW03}, year = 2003 }