Rodrigo Quites Reis, Carla Alessandra Lima Reis, Heribert Schlebbe, Daltro José Nunes. Automatic Verification of Static Policies on Software Process Models. Ann. Software Eng., 14(1-4):197-234, 2002.
@article{ReisRSN02:0,
title = {Automatic Verification of Static Policies on Software Process Models},
author = {Rodrigo Quites Reis and Carla Alessandra Lima Reis and Heribert Schlebbe and Daltro José Nunes},
year = {2002},
tags = {modeling, process modeling},
researchr = {https://researchr.org/publication/ReisRSN02%3A0},
cites = {0},
citedby = {0},
journal = {Ann. Software Eng.},
volume = {14},
number = {1-4},
pages = {197-234},
}