%0 Conference Paper %1 conf/sbia/FingerW08 %A Finger, Marcelo %A Wassermann, Renata %B SBIA %D 2008 %E Zaverucha, Gerson %E da Costa, Augusto Cesar Pinto Loureiro %I Springer %K dblp %P 157-166 %T Revising Specifications with CTL Properties Using Bounded Model Checking. %U http://dblp.uni-trier.de/db/conf/sbia/sbia2008.html#FingerW08 %V 5249 %@ 978-3-540-88189-6

@inproceedings{conf/sbia/FingerW08, added-at = {2019-09-25T00:00:00.000+0200}, author = {Finger, Marcelo and Wassermann, Renata}, biburl = {https://www.bibsonomy.org/bibtex/2cc219c5d57f3896fc9681bc6bb8c6e39/dblp}, booktitle = {SBIA}, crossref = {conf/sbia/2008}, editor = {Zaverucha, Gerson and da Costa, Augusto Cesar Pinto Loureiro}, ee = {https://doi.org/10.1007/978-3-540-88190-2_21}, interhash = {f25799c4f7e0dbc00a5da5928ef2caf4}, intrahash = {cc219c5d57f3896fc9681bc6bb8c6e39}, isbn = {978-3-540-88189-6}, keywords = {dblp}, pages = {157-166}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T14:15:36.000+0200}, title = {Revising Specifications with CTL Properties Using Bounded Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/sbia/sbia2008.html#FingerW08}, volume = 5249, year = 2008 }