Publications

retrenchment2

Summary

R. Banach and M. Bozzano (2013) The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits. In Formal Aspects of Computing, 25(4):609-657.

BibTeX Entry

@ARTICLE { retrenchment2,
    AUTHOR = { R. Banach and M. Bozzano },
    TITLE = { The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits },
    JOURNAL = { Formal Aspects of Computing },
    VOLUME = { 25 },
    NUMBER = { 4 },
    PAGES = { 609-657 },
    YEAR = { 2013 },
}