%0 Conference Paper %1 conf/issre/GallinaGR07 %A Gallina, Barbara %A Guelfi, Nicolas %A Romanovsky, Alexander B. %B ISSRE %D 2007 %I IEEE Computer Society %K dblp %P 29-38 %T Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. %U http://dblp.uni-trier.de/db/conf/issre/issre2007.html#GallinaGR07 %@ 0-7695-3024-9

@inproceedings{conf/issre/GallinaGR07, added-at = {2024-02-05T00:00:00.000+0100}, author = {Gallina, Barbara and Guelfi, Nicolas and Romanovsky, Alexander B.}, biburl = {https://www.bibsonomy.org/bibtex/244809882abd93666aa00bfba8edb6ce2/dblp}, booktitle = {ISSRE}, crossref = {conf/issre/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISSRE.2007.10}, interhash = {b025ebb86e50315dac048109b22e68bc}, intrahash = {44809882abd93666aa00bfba8edb6ce2}, isbn = {0-7695-3024-9}, keywords = {dblp}, pages = {29-38}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:52:02.000+0200}, title = {Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2007.html#GallinaGR07}, year = 2007 }