Using SPIN and STeP to Verify Business Processes Specifications.
J. Augusto, M. Butler, C. Ferreira, and S. Craig. Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 207-213. Springer, (2003)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ershov/AugustoBFC03
%A Augusto, Juan Carlos
%A Butler, Michael J.
%A Ferreira, Carla
%A Craig, Stephen-John
%B Ershov Memorial Conference
%D 2003
%E Broy, Manfred
%E Zamulin, Alexandre V.
%I Springer
%K
%P 207-213
%T Using SPIN and STeP to Verify Business Processes Specifications.
%U http://dblp.uni-trier.de/db/conf/ershov/ershov2003.html#AugustoBFC03
%V 2890
%@ 3-540-20813-5
@inproceedings{conf/ershov/AugustoBFC03,
added-at = {2023-12-12T18:33:05.000+0100},
author = {Augusto, Juan Carlos and Butler, Michael J. and Ferreira, Carla and Craig, Stephen-John},
biburl = {https://www.bibsonomy.org/bibtex/21bab6bf8e8db9e1a4e9bf3cd6db2e2a0/admin},
booktitle = {Ershov Memorial Conference},
crossref = {conf/ershov/2003},
editor = {Broy, Manfred and Zamulin, Alexandre V.},
ee = {https://doi.org/10.1007/978-3-540-39866-0_22},
interhash = {13ecc2695815b6a41ac77a65a58596ab},
intrahash = {1bab6bf8e8db9e1a4e9bf3cd6db2e2a0},
isbn = {3-540-20813-5},
keywords = {},
pages = {207-213},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T18:33:05.000+0100},
title = {Using SPIN and STeP to Verify Business Processes Specifications.},
url = {http://dblp.uni-trier.de/db/conf/ershov/ershov2003.html#AugustoBFC03},
volume = 2890,
year = 2003
}