%0 Journal Article %1 journals/corr/abs-2009-06089 %A Ihirwe, Felicien %A Mazzini, Silvia %A Pierini, Pierluigi %A Debiasi, Alberto %A Tonetta, Stefano %D 2020 %J CoRR %K dblp %T Model-based analysis support for dependable complex systems in CHESS. %U http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-06089 %V abs/2009.06089

@article{journals/corr/abs-2009-06089, added-at = {2020-09-18T00:00:00.000+0200}, author = {Ihirwe, Felicien and Mazzini, Silvia and Pierini, Pierluigi and Debiasi, Alberto and Tonetta, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/2d7c827a4b752f09491afe02506a015e3/dblp}, ee = {https://arxiv.org/abs/2009.06089}, interhash = {9daa73573c6241e3d552ae73d9385cf2}, intrahash = {d7c827a4b752f09491afe02506a015e3}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-09-19T11:43:27.000+0200}, title = {Model-based analysis support for dependable complex systems in CHESS.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2009.html#abs-2009-06089}, volume = {abs/2009.06089}, year = 2020 }