Show simple item record

dc.contributor.authorSCHACHTE, P.en_US
dc.contributor.authorSONDERGAARD, H.en_US
dc.date.accessioned2014-05-21T23:05:11Z
dc.date.available2014-05-21T23:05:11Z
dc.date.issued2006en_US
dc.identifier.urihttp://hdl.handle.net/11343/29432
dc.languageengen_US
dc.publisherSpringer Verlagen_US
dc.subjectComputer Softwareen_US
dc.titleClosure Operators for ROBDDsen_US
dc.typeConference Paperen_US
melbourne.peerreviewPeer Revieweden_US
melbourne.affiliationThe University of Melbourneen_US
melbourne.affiliation.departmentComputer Science and Software Engineeringen_US
melbourne.source.titleVerification, Model Checking, and Abstract Interpretationen_US
melbourne.source.volume3855en_US
melbourne.source.issue42370en_US
dc.research.codefor803en_US
melbourne.publicationid56210en_US
melbourne.elementsidNA
melbourne.contributor.authorSchachte, Peter
melbourne.contributor.authorSondergaard, Harald
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record