Efficient CTL* model checking for analysis of rainbow designs

Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams, Hon F Li (Editor), David K Probst (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Publication series

    NameIFIP Conference Proceedings

    Conference

    ConferenceAdvances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada
    Period1/01/24 → …
    Internet address

    Cite this