%0 Conference Paper %1 conf/dimacs/PlotkinP96 %A Plotkin, Gordon D. %A Pratt, Vaughan R. %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 117-128 %T Teams can see pomsets. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#PlotkinP96 %V 29 %@ 978-0-8218-0579-4

@inproceedings{conf/dimacs/PlotkinP96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Plotkin, Gordon D. and Pratt, Vaughan R.}, biburl = {https://www.bibsonomy.org/bibtex/2c9e7a0ecee643292cfdc21a6de4fa419/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/07}, interhash = {a4c3f5803fee4f0574a0f97bdf33eb7a}, intrahash = {c9e7a0ecee643292cfdc21a6de4fa419}, isbn = {978-0-8218-0579-4}, keywords = {dblp}, pages = {117-128}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:46.000+0200}, title = {Teams can see pomsets.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#PlotkinP96}, volume = 29, year = 1996 }