Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig. Using SPIN and STeP to Verify Business Processes Specifications. In Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Volume 2890 of Lecture Notes in Computer Science, pages 207-213, Springer, 2003. [doi]
Abstract is missing.