Checking experiments for finite state machines with symbolic inputs (2015)
Petrenko, Alexandre; Simão, Adenilso da Silva 
Source: Lecture Notes in Computer Science. Conference titles: IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS. Unidade: ICMC
Subjects: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Checking experiments for finite state machines with symbolic inputs. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-25945-1_1. Acesso em: 05 nov. 2025. , 2015APA
Petrenko, A., & Simão, A. da S. (2015). Checking experiments for finite state machines with symbolic inputs. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-25945-1_1NLM
Petrenko A, Simão A da S. Checking experiments for finite state machines with symbolic inputs [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 3-18.[citado 2025 nov. 05 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_1Vancouver
Petrenko A, Simão A da S. Checking experiments for finite state machines with symbolic inputs [Internet]. Lecture Notes in Computer Science. 2015 ; 9447 3-18.[citado 2025 nov. 05 ] Available from: https://doi.org/10.1007/978-3-319-25945-1_1
