%0 Conference Paper %1 conf/forte/PeledVY99 %A Peled, Doron A. %A Vardi, Moshe Y. %A Yannakakis, Mihalis %B FORTE %D 1999 %E Wu, Jianping %E Chanson, Samuel T. %E Gao, Qiang %I Kluwer %K dblp %P 225-240 %T Black Box Checking. %U http://dblp.uni-trier.de/db/conf/forte/forte1999.html#PeledVY99 %V 156 %@ 0-7923-8646-9

@inproceedings{conf/forte/PeledVY99, added-at = {2016-02-12T00:00:00.000+0100}, author = {Peled, Doron A. and Vardi, Moshe Y. and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/2099b59e38b9f5f7ca168a6174d2b17f0/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1999}, editor = {Wu, Jianping and Chanson, Samuel T. and Gao, Qiang}, interhash = {f5061acdbbe6ac53fca40dbba2810705}, intrahash = {099b59e38b9f5f7ca168a6174d2b17f0}, isbn = {0-7923-8646-9}, keywords = {dblp}, pages = {225-240}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2016-02-13T11:48:08.000+0100}, title = {Black Box Checking.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1999.html#PeledVY99}, volume = 156, year = 1999 }