%0 Conference Paper %1 conf/hldvt/ShihHJ05 %A Shih, Che-Hua %A Huang, Juinn-Dar %A Jou, Jing-Yang %B HLDVT %D 2005 %I IEEE Computer Society %K dblp %P 87-93 %T Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2005.html#ShihHJ05 %@ 0-7803-9571-9

@inproceedings{conf/hldvt/ShihHJ05, added-at = {2015-05-12T00:00:00.000+0200}, author = {Shih, Che-Hua and Huang, Juinn-Dar and Jou, Jing-Yang}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b4e44d27e0fd6f2dddd206fdbdfbba05/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/HLDVT.2005.1568819}, interhash = {e3586158267721931501e1a76278370b}, intrahash = {b4e44d27e0fd6f2dddd206fdbdfbba05}, isbn = {0-7803-9571-9}, keywords = {dblp}, pages = {87-93}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T14:37:50.000+0100}, title = {Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2005.html#ShihHJ05}, year = 2005 }