%0 Conference Paper %1 conf/itc/AgrawalBD96 %A Agrawal, Vishwani D. %A Blanton, Ronald D. %A Damiani, Maurizio %B ITC %D 1996 %I IEEE Computer Society %K dblp %P 757-766 %T Synthesis of Self-Testing Finite State Machines from High-Level Specifications. %U http://dblp.uni-trier.de/db/conf/itc/itc1996.html#AgrawalBD96 %@ 0-7803-3541-4

@inproceedings{conf/itc/AgrawalBD96, added-at = {2023-03-23T00:00:00.000+0100}, author = {Agrawal, Vishwani D. and Blanton, Ronald D. and Damiani, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2868eae720c32af0723bd5142aa18a152/dblp}, booktitle = {ITC}, crossref = {conf/itc/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/TEST.1996.557135}, interhash = {f61dfb1b23a7db83fb057d36e23fbb1f}, intrahash = {868eae720c32af0723bd5142aa18a152}, isbn = {0-7803-3541-4}, keywords = {dblp}, pages = {757-766}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:52:20.000+0200}, title = {Synthesis of Self-Testing Finite State Machines from High-Level Specifications.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc1996.html#AgrawalBD96}, year = 1996 }