Publications

retrenchment1

Summary

R. Banach and M. Bozzano (2013) The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits. In Formal Aspects of Computing, 25(4):573-607.

BibTeX Entry

@ARTICLE { retrenchment1,
    AUTHOR = { R. Banach and M. Bozzano },
    TITLE = { The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits },
    JOURNAL = { Formal Aspects of Computing },
    VOLUME = { 25 },
    NUMBER = { 4 },
    PAGES = { 573-607 },
    YEAR = { 2013 },
}