@inproceedings{
 title = {BDDs applications into formal verification},
 type = {inproceedings},
 year = {2003},
 id = {f38a8a3f-9380-336c-a1e6-41515124ee04},
 created = {2014-04-17T21:17:22.000Z},
 file_attached = {true},
 profile_id = {03d2ca17-6bde-3cfe-95de-fcbe4f21507b},
 last_modified = {2017-03-14T01:22:09.162Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {bali2003iete},
 source_type = {inproceedings},
 private_publication = {false},
 bibtype = {inproceedings},
 author = {Bali, B and Sahula, V},
 booktitle = {IETE Annual Zonal seminar on Electronic Design Automation: Issues & Challenges, Jaipur, May}
}

{"_id":"T8428r7ZEQYYYJ5D3","bibbaseid":"bali-sahula-bddsapplicationsintoformalverification-2003","author_short":["Bali, B.","Sahula, V."],"bibdata":{"title":"BDDs applications into formal verification","type":"inproceedings","year":"2003","id":"f38a8a3f-9380-336c-a1e6-41515124ee04","created":"2014-04-17T21:17:22.000Z","file_attached":"true","profile_id":"03d2ca17-6bde-3cfe-95de-fcbe4f21507b","last_modified":"2017-03-14T01:22:09.162Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"citation_key":"bali2003iete","source_type":"inproceedings","private_publication":false,"bibtype":"inproceedings","author":"Bali, B and Sahula, V","booktitle":"IETE Annual Zonal seminar on Electronic Design Automation: Issues & Challenges, Jaipur, May","bibtex":"@inproceedings{\n title = {BDDs applications into formal verification},\n type = {inproceedings},\n year = {2003},\n id = {f38a8a3f-9380-336c-a1e6-41515124ee04},\n created = {2014-04-17T21:17:22.000Z},\n file_attached = {true},\n profile_id = {03d2ca17-6bde-3cfe-95de-fcbe4f21507b},\n last_modified = {2017-03-14T01:22:09.162Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n citation_key = {bali2003iete},\n source_type = {inproceedings},\n private_publication = {false},\n bibtype = {inproceedings},\n author = {Bali, B and Sahula, V},\n booktitle = {IETE Annual Zonal seminar on Electronic Design Automation: Issues & Challenges, Jaipur, May}\n}","author_short":["Bali, B.","Sahula, V."],"urls":{"Paper":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b/file/2eb87f0d-692a-64a5-3c46-6ecdb1e83bdd/2003-BDDs_applications_into_formal_verification.doc.pdf"},"biburl":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b","bibbaseid":"bali-sahula-bddsapplicationsintoformalverification-2003","role":"author","metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/service/mendeley/03d2ca17-6bde-3cfe-95de-fcbe4f21507b","dataSources":["FzvqmGdTCZ7Dbyn6A"],"keywords":[],"search_terms":["bdds","applications","formal","verification","bali","sahula"],"title":"BDDs applications into formal verification","year":2003}