Alexandre Mota 0001, Augusto Sampaio. Model-Checking Processes with States: An Industrial Case Study. In Itana Maria de Souza Gimenes, editor, Proceedings of the 12th Brazilian Symposium on Software Engineering, SBES 1998, Maringá, PR, Brazil, October 13-16, 1998. pages 23-36, SBC, 1998. [doi]
Abstract is missing.