Publications

hvc13

Summary

M. Bozzano, A. Cimatti and C. Mattarei (2013) Efficient Analysis of Reliability Architectures via Predicate Abstraction. In Proceedings of HVC 2013.

BibTeX Entry

@INPROCEEDINGS { HVC13,
    AUTHOR = { M. Bozzano and A. Cimatti and C. Mattarei },
    TITLE = { Efficient Analysis of Reliability Architectures via Predicate Abstraction },
    BOOKTITLE = { Proceedings of HVC 2013 },
    YEAR = { 2013 },
}