%0 Conference Paper %1 conf/icalp/PeledP90 %A Peled, Doron A. %A Pnueli, Amir %B ICALP %D 1990 %E Paterson, Mike %I Springer %K dblp %P 553-571 %T Proving Partial Order Liveness Properties. %U http://dblp.uni-trier.de/db/conf/icalp/icalp90.html#PeledP90 %V 443 %@ 3-540-52826-1

@inproceedings{conf/icalp/PeledP90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Peled, Doron A. and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/248e50c9803c8458e67280424661682b4/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1990}, editor = {Paterson, Mike}, ee = {https://doi.org/10.1007/BFb0032058}, interhash = {206d9d5a40dff879714753c152f12e50}, intrahash = {48e50c9803c8458e67280424661682b4}, isbn = {3-540-52826-1}, keywords = {dblp}, pages = {553-571}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:32.000+0200}, title = {Proving Partial Order Liveness Properties.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp90.html#PeledP90}, volume = 443, year = 1990 }