Mota, Alexandre, & Augusto Sampaio.
" Model-Checking Processes with States: An Industrial Case Study." <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (1998): 23-36. Web. 16 mai. 2024