Revising Specifications with CTL Properties Using Bounded Model Checking. Finger, M. & Wassermann, R. In Brazilian Symposium on Artificial Intelligence, of LNAI, 2008. Springer.
bibtex   
@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}
}
Downloads: 0