| dc.contributor.author | SCHACHTE, P. | en_US |
| dc.contributor.author | SONDERGAARD, H. | en_US |
| dc.date.accessioned | 2014-05-21T23:05:11Z | |
| dc.date.available | 2014-05-21T23:05:11Z | |
| dc.date.issued | 2006 | en_US |
| dc.identifier.uri | http://hdl.handle.net/11343/29432 | |
| dc.language | eng | en_US |
| dc.publisher | Springer Verlag | en_US |
| dc.subject | Computer Software | en_US |
| dc.title | Closure Operators for ROBDDs | en_US |
| dc.type | Conference Paper | en_US |
| melbourne.peerreview | Peer Reviewed | en_US |
| melbourne.affiliation | The University of Melbourne | en_US |
| melbourne.affiliation.department | Computer Science and Software Engineering | en_US |
| melbourne.source.title | Verification, Model Checking, and Abstract Interpretation | en_US |
| melbourne.source.volume | 3855 | en_US |
| melbourne.source.issue | 42370 | en_US |
| dc.research.codefor | 803 | en_US |
| melbourne.publicationid | 56210 | en_US |
| melbourne.elementsid | NA | |
| melbourne.contributor.author | Schachte, Peter | |
| melbourne.contributor.author | Sondergaard, Harald | |
| melbourne.accessrights | This item is currently not available from this repository | |
