%0 Journal Article %1 journals/toplas/OwickiL82 %A Owicki, Susan S. %A Lamport, Leslie %D 1982 %J ACM Trans. Program. Lang. Syst. %K dblp %N 3 %P 455-495 %T Proving Liveness Properties of Concurrent Programs. %U http://dblp.uni-trier.de/db/journals/toplas/toplas4.html#OwickiL82 %V 4

@article{journals/toplas/OwickiL82, added-at = {2018-11-06T00:00:00.000+0100}, author = {Owicki, Susan S. and Lamport, Leslie}, biburl = {https://www.bibsonomy.org/bibtex/2faeb756d892e1b92457e5a794b648fde/dblp}, ee = {https://doi.org/10.1145/357172.357178}, interhash = {b4a5fb2efc80eba4af64dc4cf5a9414d}, intrahash = {faeb756d892e1b92457e5a794b648fde}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 3, pages = {455-495}, timestamp = {2018-11-07T12:36:51.000+0100}, title = {Proving Liveness Properties of Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas4.html#OwickiL82}, volume = 4, year = 1982 }