%0 Journal Article %1 journals/ppl/CharpentierP98 %A Charpentier, Michel %A Padiou, Gérard %D 1998 %J Parallel Process. Lett. %K dblp %N 4 %P 421-432 %T Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol. %U http://dblp.uni-trier.de/db/journals/ppl/ppl8.html#CharpentierP98 %V 8

@article{journals/ppl/CharpentierP98, added-at = {2020-03-24T00:00:00.000+0100}, author = {Charpentier, Michel and Padiou, Gérard}, biburl = {https://www.bibsonomy.org/bibtex/2bf6a694cb84ca19e945b52c3fc85fa50/dblp}, ee = {https://doi.org/10.1142/S0129626498000432}, interhash = {c1501d0f6e8b9381f60153af173676a2}, intrahash = {bf6a694cb84ca19e945b52c3fc85fa50}, journal = {Parallel Process. Lett.}, keywords = {dblp}, number = 4, pages = {421-432}, timestamp = {2020-03-25T11:39:54.000+0100}, title = {Specification and Verification of the ATMR Protocol Using Unity. Part 1: Modeling and Specification of the Protocol.}, url = {http://dblp.uni-trier.de/db/journals/ppl/ppl8.html#CharpentierP98}, volume = 8, year = 1998 }