%0 Conference Paper %1 conf/dimacs/Peled96 %A Peled, Doron A. %B Partial Order Methods in Verification %D 1996 %E Peled, Doron A. %E Pratt, Vaughan R. %E Holzmann, Gerard J. %I DIMACS/AMS %K dblp %P 233-257 %T Partial order reduction: Linear and branching temporal logics and process algebras. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Peled96 %V 29 %@ 978-0-8218-0579-4

@inproceedings{conf/dimacs/Peled96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2b5a87b419e0762e2071b842849ee577c/dblp}, booktitle = {Partial Order Methods in Verification}, crossref = {conf/dimacs/dimacs29}, editor = {Peled, Doron A. and Pratt, Vaughan R. and Holzmann, Gerard J.}, ee = {https://doi.org/10.1090/dimacs/029/13}, interhash = {61f14a0e240816dcae25474af1243003}, intrahash = {b5a87b419e0762e2071b842849ee577c}, isbn = {978-0-8218-0579-4}, keywords = {dblp}, pages = {233-257}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:46.000+0200}, title = {Partial order reduction: Linear and branching temporal logics and process algebras.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Peled96}, volume = 29, year = 1996 }