%0 Conference Paper %1 conf/eurodac/AgrawalC90 %A Agrawal, Vishwani D. %A Cheng, Kwang-Ting %B EURO-DAC %D 1990 %E Adshead, Gordon %E Jess, Jochen A. G. %I IEEE Computer Society %K dblp %P 612-616 %T An architecture for synthesis of testable finite state machines. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1990.html#AgrawalC90 %@ 0-8186-2024-2

@inproceedings{conf/eurodac/AgrawalC90, added-at = {2017-05-24T00:00:00.000+0200}, author = {Agrawal, Vishwani D. and Cheng, Kwang-Ting}, biburl = {https://www.bibsonomy.org/bibtex/2e02d4362dd877460bed8f4c460c1c494/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1990}, editor = {Adshead, Gordon and Jess, Jochen A. G.}, ee = {http://dl.acm.org/citation.cfm?id=950108}, interhash = {41e6f9c8b89bbd5fbbe92f7034a3d72f}, intrahash = {e02d4362dd877460bed8f4c460c1c494}, isbn = {0-8186-2024-2}, keywords = {dblp}, pages = {612-616}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T22:26:14.000+0200}, title = {An architecture for synthesis of testable finite state machines.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1990.html#AgrawalC90}, year = 1990 }