@inproceedings{finger_revising_2008,
	series = {{LNAI}},
	title = {Revising Specifications with {CTL} Properties Using Bounded Model Checking},
	booktitle = {Brazilian Symposium on Artificial Intelligence},
	publisher = {Springer},
	author = {Marcelo Finger and Renata Wassermann},
	year = {2008}
}

{"_id":{"_str":"5342515d0e946d920a00083d"},"__v":375,"authorIDs":["54570bc82abc8e9f37000010","5457fe6c2abc8e9f370009a2"],"author_short":["Finger, M.","Wassermann, R."],"bibbaseid":"finger-wassermann-revisingspecificationswithctlpropertiesusingboundedmodelchecking-2008","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"LNAI","title":"Revising Specifications with CTL Properties Using Bounded Model Checking","booktitle":"Brazilian Symposium on Artificial Intelligence","publisher":"Springer","author":[{"firstnames":["Marcelo"],"propositions":[],"lastnames":["Finger"],"suffixes":[]},{"firstnames":["Renata"],"propositions":[],"lastnames":["Wassermann"],"suffixes":[]}],"year":"2008","bibtex":"@inproceedings{finger_revising_2008,\n\tseries = {{LNAI}},\n\ttitle = {Revising Specifications with {CTL} Properties Using Bounded Model Checking},\n\tbooktitle = {Brazilian Symposium on Artificial Intelligence},\n\tpublisher = {Springer},\n\tauthor = {Marcelo Finger and Renata Wassermann},\n\tyear = {2008}\n}","author_short":["Finger, M.","Wassermann, R."],"key":"finger_revising_2008","id":"finger_revising_2008","bibbaseid":"finger-wassermann-revisingspecificationswithctlpropertiesusingboundedmodelchecking-2008","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.ime.usp.br/~liamf/nova/list.bib","downloads":0,"keywords":[],"search_terms":["revising","specifications","ctl","properties","using","bounded","model","checking","finger","wassermann"],"title":"Revising Specifications with CTL Properties Using Bounded Model Checking","year":2008,"dataSources":["pCLH75ooJvnyFQik5"]}