Revising specifications with CTL properties using bounded model checking (2008)
Finger, Marcelo 
; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Artificial Intelligence - SBIA. Unidade: IME
Subjects: REPRESENTAÇÃO DE CONHECIMENTO, REVISÃO DE CRENÇAS, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WASSERMANN, Renata. Revising specifications with CTL properties using bounded model checking. 2008, Anais.. Berlin: Springer, 2008. Disponível em: https://doi.org/10.1007/978-3-540-88190-2_21. Acesso em: 19 jan. 2026.APA
Finger, M., & Wassermann, R. (2008). Revising specifications with CTL properties using bounded model checking. In Proceedings. Berlin: Springer. doi:10.1007/978-3-540-88190-2_21NLM
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2026 jan. 19 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21Vancouver
Finger M, Wassermann R. Revising specifications with CTL properties using bounded model checking [Internet]. Proceedings. 2008 ;[citado 2026 jan. 19 ] Available from: https://doi.org/10.1007/978-3-540-88190-2_21
