BibTeX record conf/rodin/MunozCD06

• > Home > conf/rodin/MunozCD06

@inproceedings{DBLP:conf/rodin/MunozCD06,
  author    = {C{\'{e}}sar A. Mu{\~{n}}oz and
               Victor Carre{\~{n}}o and
               Gilles Dowek},
  title     = {Formal Analysis of the Operational Concept for the Small Aircraft
               Transportation System},
  booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
               {RODIN} project]},
  pages     = {306--325},
  year      = {2006},
  crossref  = {DBLP:conf/rodin/2006},
  url       = {https://doi.org/10.1007/11916246\_16},
  doi       = {10.1007/11916246\_16},
  timestamp = {Thu, 22 Feb 2018 18:20:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rodin/MunozCD06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/rodin/2006,
  editor    = {Michael J. Butler and
               Cliff B. Jones and
               Alexander B. Romanovsky and
               Elena Troubitsyna},
  title     = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
               {RODIN} project]},
  series    = {Lecture Notes in Computer Science},
  volume    = {4157},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11916246},
  doi       = {10.1007/11916246},
  isbn      = {3-540-48265-2},
  timestamp = {Thu, 22 Feb 2018 18:20:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rodin/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}