@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}
}