%0 Conference Paper %1 conf/ftcs/XuRRSZCH99 %A Xu, Jie %A Randell, Brian %A Romanovsky, Alexander B. %A Stroud, Robert J. %A Zorzo, Avelino F. %A Canver, Ercument %A von Henke, Friedrich W. %B FTCS %D 1999 %I IEEE Computer Society %K dblp %P 68-75 %T Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. %U http://dblp.uni-trier.de/db/conf/ftcs/ftcs99.html#XuRRSZCH99 %@ 0-7695-0213-X

@inproceedings{conf/ftcs/XuRRSZCH99, added-at = {2023-03-24T00:00:00.000+0100}, author = {Xu, Jie and Randell, Brian and Romanovsky, Alexander B. and Stroud, Robert J. and Zorzo, Avelino F. and Canver, Ercument and von Henke, Friedrich W.}, biburl = {https://www.bibsonomy.org/bibtex/20d35bdd5e2cfe408e88514b960531121/dblp}, booktitle = {FTCS}, crossref = {conf/ftcs/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/FTCS.1999.781035}, interhash = {1b82ac2bfcc898e4f790b5029b6676c6}, intrahash = {0d35bdd5e2cfe408e88514b960531121}, isbn = {0-7695-0213-X}, keywords = {dblp}, pages = {68-75}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:48:43.000+0200}, title = {Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.}, url = {http://dblp.uni-trier.de/db/conf/ftcs/ftcs99.html#XuRRSZCH99}, year = 1999 }