%0 Journal Article %1 journals/csse/BurnsWBKKRY01 %A Burns, Alan %A Wellings, Andy J. %A Burns, Frank P. %A Koelmans, Albert %A Koutny, Maciej %A Romanovsky, Alexander B. %A Yakovlev, Alexandre %D 2001 %J Comput. Syst. Sci. Eng. %K dblp %N 3 %P 173-182 %T Modelling and verification of an atomic action protocol implemented in Ada. %U http://dblp.uni-trier.de/db/journals/csse/csse16.html#BurnsWBKKRY01 %V 16

@article{journals/csse/BurnsWBKKRY01, added-at = {2022-03-17T00:00:00.000+0100}, author = {Burns, Alan and Wellings, Andy J. and Burns, Frank P. and Koelmans, Albert and Koutny, Maciej and Romanovsky, Alexander B. and Yakovlev, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2e113900c3988a7383f5971497d571c75/dblp}, interhash = {3aff1032d124ad8e4edc16ada89a6c0b}, intrahash = {e113900c3988a7383f5971497d571c75}, journal = {Comput. Syst. Sci. Eng.}, keywords = {dblp}, number = 3, pages = {173-182}, timestamp = {2024-04-09T01:34:52.000+0200}, title = {Modelling and verification of an atomic action protocol implemented in Ada.}, url = {http://dblp.uni-trier.de/db/journals/csse/csse16.html#BurnsWBKKRY01}, volume = 16, year = 2001 }