DBLP Record 'conf/ftcs/XuRRSZCH99'

BibTeX

@inproceedings{DBLP:conf/ftcs/XuRRSZCH99,
  author    = {Jie Xu and
               Brian Randell and
               Alexander B. Romanovsky and
               Robert J. Stroud and
               Avelino F. Zorzo and
               Ercument Canver and
               Friedrich W. von Henke},
  title     = {Rigorous Development of a Safety-Critical System Based on
               Coordinated Atomic Actions},
  booktitle = {FTCS},
  year      = {1999},
  pages     = {68-75},
  ee        = {http://computer.org/proceedings/ftcs/0213/02130068abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}