%0 Conference Paper %1 conf/imbsa/AlboreDISV17 %A Albore, Alexandre %A Dal-Zilio, Silvano %A Infantes, Guillaume %A Seguin, Christel %A Virelizier, Pierre %B IMBSA %D 2017 %E Bozzano, Marco %E Papadopoulos, Yiannis %I Springer %K dblp %P 147-162 %T A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. %U http://dblp.uni-trier.de/db/conf/imbsa/imbsa2017.html#AlboreDISV17 %V 10437 %@ 978-3-319-64119-5

@inproceedings{conf/imbsa/AlboreDISV17, added-at = {2019-10-19T00:00:00.000+0200}, author = {Albore, Alexandre and Dal-Zilio, Silvano and Infantes, Guillaume and Seguin, Christel and Virelizier, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/2db46c167ee7176114ab5789e96253597/dblp}, booktitle = {IMBSA}, crossref = {conf/imbsa/2017}, editor = {Bozzano, Marco and Papadopoulos, Yiannis}, ee = {https://doi.org/10.1007/978-3-319-64119-5_10}, interhash = {e0048e1e599cb9c3bb94ab083256462e}, intrahash = {db46c167ee7176114ab5789e96253597}, isbn = {978-3-319-64119-5}, keywords = {dblp}, pages = {147-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:05:40.000+0200}, title = {A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.}, url = {http://dblp.uni-trier.de/db/conf/imbsa/imbsa2017.html#AlboreDISV17}, volume = 10437, year = 2017 }