Symbolic model checking of declarative relational models. Sheng-Ho Chang, F. & Jackson, D. In Proceedings of International Conference on Software Engineering (ICSE), pages 312-320, 2006. Paper bibtex @inproceedings{ dblp3366752,
title = {Symbolic model checking of declarative relational models},
author = {Felix Sheng-Ho Chang and Daniel Jackson},
author_short = {Sheng-Ho Chang, F. and Jackson, D.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2006},
key = {dblp3366752},
id = {dblp3366752},
biburl = {http://www.dblp.org/rec/bibtex/conf/icse/ChangJ06},
url = {http://doi.acm.org/10.1145/1134329},
conference = {ICSE},
pages = {312-320},
text = {ICSE 2006:312-320},
booktitle = {Proceedings of International Conference on Software Engineering (ICSE)}
}
Downloads: 0
{"_id":"nkpEEQBT3ej6gQBER","bibbaseid":"shenghochang-jackson-symbolicmodelcheckingofdeclarativerelationalmodels-2006","downloads":0,"creationDate":"2015-05-22T20:39:55.402Z","title":"Symbolic model checking of declarative relational models","author_short":["Sheng-Ho Chang, F.","Jackson, D."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icse/ChangJ06","bibdata":{"title":"Symbolic model checking of declarative relational models","author":["Felix Sheng-Ho Chang","Daniel Jackson"],"author_short":["Sheng-Ho Chang, F.","Jackson, D."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3366752","id":"dblp3366752","biburl":"http://www.dblp.org/rec/bibtex/conf/icse/ChangJ06","url":"http://doi.acm.org/10.1145/1134329","conference":"ICSE","pages":"312-320","text":"ICSE 2006:312-320","booktitle":"Proceedings of International Conference on Software Engineering (ICSE)","bibtex":"@inproceedings{ dblp3366752,\n title = {Symbolic model checking of declarative relational models},\n author = {Felix Sheng-Ho Chang and Daniel Jackson},\n author_short = {Sheng-Ho Chang, F. and Jackson, D.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3366752},\n id = {dblp3366752},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icse/ChangJ06},\n url = {http://doi.acm.org/10.1145/1134329},\n conference = {ICSE},\n pages = {312-320},\n text = {ICSE 2006:312-320},\n booktitle = {Proceedings of International Conference on Software Engineering (ICSE)}\n}","bibbaseid":"shenghochang-jackson-symbolicmodelcheckingofdeclarativerelationalmodels-2006","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/1134329"},"downloads":0,"html":""},"search_terms":["symbolic","model","checking","declarative","relational","models","sheng-ho chang","jackson"],"keywords":[],"authorIDs":["5456dee58b01c8193000000f"],"dataSources":["uyeZLaosEH9YtNkNe"]}