Publications

faoc19

Summary

Marco Bozzano, Alessandro Cimatti and Cristian Mattarei (2019) Formal reliability analysis of redundancy architectures. In Formal Asp. Comput., 31(1):59-94.

BibTeX Entry

@ARTICLE { faoc19,
    AUTHOR = { Marco Bozzano and Alessandro Cimatti and Cristian Mattarei },
    TITLE = { Formal reliability analysis of redundancy architectures },
    JOURNAL = { Formal Asp. Comput. },
    VOLUME = { 31 },
    NUMBER = { 1 },
    PAGES = { 59--94 },
    YEAR = { 2019 },
}