%0 Conference Paper %1 conf/dimacs/MontanariP96 %A Montanari, Ugo %A Pistore, Marco %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 259-272 %T History dependent verification for partial order systems. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#MontanariP96 %V 29 %@ 978-0-8218-0579-4

@inproceedings{conf/dimacs/MontanariP96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Montanari, Ugo and Pistore, Marco}, biburl = {https://www.bibsonomy.org/bibtex/28f36fdd2e2374bf300841cde54f8010d/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/14}, interhash = {6bdd5f47f48e55fb877a3ae80e5b7f2c}, intrahash = {8f36fdd2e2374bf300841cde54f8010d}, isbn = {978-0-8218-0579-4}, keywords = {dblp}, pages = {259-272}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:46.000+0200}, title = {History dependent verification for partial order systems.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#MontanariP96}, volume = 29, year = 1996 }