%0 Conference Paper %1 conf/dac/WangB94 %A Wang, Huey-Yih %A Brayton, Robert K. %B DAC %D 1994 %E Lorenzetti, Michael J. %I ACM Press %K dblp %P 677-683 %T Permissible Observability Relations in FSM Networks. %U http://dblp.uni-trier.de/db/conf/dac/dac94.html#WangB94 %@ 0-7803-1836-6

@inproceedings{conf/dac/WangB94, added-at = {2017-03-16T00:00:00.000+0100}, author = {Wang, Huey-Yih and Brayton, Robert K.}, biburl = {https://www.bibsonomy.org/bibtex/2cdd644c0cf73f97051dc15e2bd001341/dblp}, booktitle = {DAC}, crossref = {conf/dac/1994}, editor = {Lorenzetti, Michael J.}, ee = {http://doi.acm.org/10.1145/196244.196613}, interhash = {b1fef019fa7d666b4fa393f11c7fcfa1}, intrahash = {cdd644c0cf73f97051dc15e2bd001341}, isbn = {0-7803-1836-6}, keywords = {dblp}, pages = {677-683}, publisher = {ACM Press}, timestamp = {2017-03-17T11:41:18.000+0100}, title = {Permissible Observability Relations in FSM Networks.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac94.html#WangB94}, year = 1994 }