%0 Journal Article %1 journals/toplas/Jonsson94 %A Jonsson, Bengt %D 1994 %J ACM Trans. Program. Lang. Syst. %K dblp %N 2 %P 259-303 %T Compositional Specification and Verification of Distributed Systems. %U http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#Jonsson94 %V 16

@article{journals/toplas/Jonsson94, added-at = {2021-08-31T00:00:00.000+0200}, author = {Jonsson, Bengt}, biburl = {https://www.bibsonomy.org/bibtex/28742945ea985271ace0573d82e5d77fc/dblp}, ee = {https://doi.org/10.1145/174662.174665}, interhash = {f8fea33352a07996194d9ac97451f20b}, intrahash = {8742945ea985271ace0573d82e5d77fc}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 2, pages = {259-303}, timestamp = {2024-04-09T06:03:16.000+0200}, title = {Compositional Specification and Verification of Distributed Systems.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas16.html#Jonsson94}, volume = 16, year = 1994 }