%0 Conference Paper %1 conf/charme/McMillan99a %A McMillan, Kenneth L. %B CHARME %D 1999 %E Pierre, Laurence %E Kropf, Thomas %I Springer %K dblp %P 342-345 %T Circular Compositional Reasoning about Liveness. %U http://dblp.uni-trier.de/db/conf/charme/charme1999.html#McMillan99a %V 1703 %@ 3-540-66559-5

@inproceedings{conf/charme/McMillan99a, added-at = {2017-05-21T00:00:00.000+0200}, author = {McMillan, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/21c53b31a8070cb4e47ba30fd8bb26748/dblp}, booktitle = {CHARME}, crossref = {conf/charme/1999}, editor = {Pierre, Laurence and Kropf, Thomas}, ee = {https://doi.org/10.1007/3-540-48153-2_30}, interhash = {c14c19b3ab6c983fdd89e015c9bf646f}, intrahash = {1c53b31a8070cb4e47ba30fd8bb26748}, isbn = {3-540-66559-5}, keywords = {dblp}, pages = {342-345}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:34.000+0200}, title = {Circular Compositional Reasoning about Liveness.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme1999.html#McMillan99a}, volume = 1703, year = 1999 }