%0 Conference Paper %1 conf/dimacs/Reisig96 %A Reisig, Wolfgang %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 99-115 %T Interleaved progress, concurrent progress, and local progress. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Reisig96 %V 29 %@ 978-0-8218-0579-4

@inproceedings{conf/dimacs/Reisig96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Reisig, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/20cd206c708453835e1e332c04ed98bc8/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/06}, interhash = {598104a2efe02d1c38202d6fa4fee9ba}, intrahash = {0cd206c708453835e1e332c04ed98bc8}, isbn = {978-0-8218-0579-4}, keywords = {dblp}, pages = {99-115}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:46.000+0200}, title = {Interleaved progress, concurrent progress, and local progress.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs29.html#Reisig96}, volume = 29, year = 1996 }