Closure Operators for ROBDDs

    Thumbnail
    Citations
    Altmetric
    Author
    SCHACHTE, P.; SONDERGAARD, H.
    Date
    2006
    Source Title
    Verification, Model Checking, and Abstract Interpretation
    Publisher
    Springer Verlag
    University of Melbourne Author/s
    Schachte, Peter; Sondergaard, Harald
    Affiliation
    Computer Science and Software Engineering
    Metadata
    Show full item record
    Document Type
    Conference Paper
    Access Status
    This item is currently not available from this repository
    URI
    http://hdl.handle.net/11343/29432
    Keywords
    Computer Software

    Export Reference in RIS Format     

    Collections