%0 Conference Paper %1 conf/dimacs/ShuklaRHS96 %A Shukla, Sandeep K. %A Rosenkrantz, Daniel J. %A III, Harry B. Hunt %A Stearns, Richard Edwin %B Satisfiability Problem: Theory and Applications %D 1996 %E Du, Ding-Zhu %E Gu, Jun %E Pardalos, Panos M. %I DIMACS/AMS %K dblp %P 603-641 %T The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs35.html#ShuklaRHS96 %V 35 %@ 978-0-8218-0479-7

@inproceedings{conf/dimacs/ShuklaRHS96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Shukla, Sandeep K. and Rosenkrantz, Daniel J. and III, Harry B. Hunt and Stearns, Richard Edwin}, biburl = {https://www.bibsonomy.org/bibtex/2d9e28663ce3939e3c316362da34de1fb/dblp}, booktitle = {Satisfiability Problem: Theory and Applications}, crossref = {conf/dimacs/dimacs35}, editor = {Du, Ding-Zhu and Gu, Jun and Pardalos, Panos M.}, ee = {https://doi.org/10.1090/dimacs/035/17}, interhash = {2e80e8604407d41984545aae0096daac}, intrahash = {d9e28663ce3939e3c316362da34de1fb}, isbn = {978-0-8218-0479-7}, keywords = {dblp}, pages = {603-641}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:58:26.000+0200}, title = {The polynomial time decidability of simulation relations for finite processes: A HORNSAT based approach.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs35.html#ShuklaRHS96}, volume = 35, year = 1996 }