%0 Conference Paper %1 conf/serene/FerrariICS12 %A Ferrari, Alessio %A Itria, Massimiliano Leone %A Chiaradonna, Silvano %A Spagnolo, Giorgio Oronzo %B SERENE %D 2012 %E Avgeriou, Paris %I Springer %K dblp %P 165-179 %T Model-Based Evaluation of the Availability of a CBTC System. %U http://dblp.uni-trier.de/db/conf/serene/serene2012.html#FerrariICS12 %V 7527 %@ 978-3-642-33175-6

@inproceedings{conf/serene/FerrariICS12, added-at = {2017-06-05T00:00:00.000+0200}, author = {Ferrari, Alessio and Itria, Massimiliano Leone and Chiaradonna, Silvano and Spagnolo, Giorgio Oronzo}, biburl = {https://www.bibsonomy.org/bibtex/2b130465016f8b2c0e4eef63fea586bb0/dblp}, booktitle = {SERENE}, crossref = {conf/serene/2012}, editor = {Avgeriou, Paris}, ee = {https://doi.org/10.1007/978-3-642-33176-3_12}, interhash = {29d256c0840a6de79422ceba3eb8821e}, intrahash = {b130465016f8b2c0e4eef63fea586bb0}, isbn = {978-3-642-33175-6}, keywords = {dblp}, pages = {165-179}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:40:28.000+0200}, title = {Model-Based Evaluation of the Availability of a CBTC System.}, url = {http://dblp.uni-trier.de/db/conf/serene/serene2012.html#FerrariICS12}, volume = 7527, year = 2012 }