%0 Conference Paper %1 conf/date/CasavantGLMWA01 %A Casavant, Albert E. %A Gupta, Aarti %A Liu, S. %A Mukaiyama, Akira %A Wakabayashi, Kazutoshi %A Ashar, Pranav %B DATE %D 2001 %E Nebel, Wolfgang %E Jerraya, Ahmed %I IEEE Computer Society %K dblp %P 799 %T Property-specific witness graph generation for guided simulation. %U http://dblp.uni-trier.de/db/conf/date/date2001.html#CasavantGLMWA01 %@ 0-7695-0993-2

@inproceedings{conf/date/CasavantGLMWA01, added-at = {2023-09-30T00:00:00.000+0200}, author = {Casavant, Albert E. and Gupta, Aarti and Liu, S. and Mukaiyama, Akira and Wakabayashi, Kazutoshi and Ashar, Pranav}, biburl = {https://www.bibsonomy.org/bibtex/21a23208623fdcf566b099f63d1fdca37/dblp}, booktitle = {DATE}, crossref = {conf/date/2001}, editor = {Nebel, Wolfgang and Jerraya, Ahmed}, ee = {http://dl.acm.org/citation.cfm?id=367984}, interhash = {9612a999cf82ba4f63a8382d435a50d3}, intrahash = {1a23208623fdcf566b099f63d1fdca37}, isbn = {0-7695-0993-2}, keywords = {dblp}, pages = 799, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:53:17.000+0200}, title = {Property-specific witness graph generation for guided simulation.}, url = {http://dblp.uni-trier.de/db/conf/date/date2001.html#CasavantGLMWA01}, year = 2001 }