Closure Operators for ROBDDs
Citations
Altmetric
Author
SCHACHTE, P.; SONDERGAARD, H.Date
2006Source Title
Verification, Model Checking, and Abstract InterpretationPublisher
Springer VerlagAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Conference PaperAccess Status
This item is currently not available from this repositoryKeywords
Computer SoftwareExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References