%0 Conference Paper %1 conf/dac/Vida-TorkuH83 %A Vida-Torku, E. Kofi %A Huey, Beverly Messick %B DAC %D 1983 %E Radke, Charles E. %I ACM/IEEE %K dblp %P 323-330 %T Petri Net based search directing heuristics for test generation. %U http://dblp.uni-trier.de/db/conf/dac/dac1983.html#Vida-TorkuH83 %@ 0-8186-0026-8

@inproceedings{conf/dac/Vida-TorkuH83, added-at = {2012-03-01T00:00:00.000+0100}, author = {Vida-Torku, E. Kofi and Huey, Beverly Messick}, biburl = {https://www.bibsonomy.org/bibtex/27202cbbdc326e58846b66db0536beda3/dblp}, booktitle = {DAC}, crossref = {conf/dac/1983}, editor = {Radke, Charles E.}, ee = {http://dl.acm.org/citation.cfm?id=800684}, interhash = {b1986513923c41e26f04930900130ce1}, intrahash = {7202cbbdc326e58846b66db0536beda3}, isbn = {0-8186-0026-8}, keywords = {dblp}, pages = {323-330}, publisher = {ACM/IEEE}, timestamp = {2012-03-02T11:35:01.000+0100}, title = {Petri Net based search directing heuristics for test generation.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1983.html#Vida-TorkuH83}, year = 1983 }