![](/img/cover-not-exists.png)
Automatic Verification of Static Policies on Software Process Models
Rodrigo Quites Reis, Carla Alessandra Lima Reis, Heribert Schlebbe, Daltro José nunesVolume:
14
Language:
english
Pages:
38
DOI:
10.1023/a:1020509809235
Date:
December, 2002
File:
PDF, 761 KB
english, 2002