A new verification technique for large processes based on identification of relevant tasks
| Autor: | Mrasek, Richard, Mülle, Jutta, Böhm, Klemens |
|---|---|
| Zdroj: | In Information Systems January 2015 47:82-97 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Mrasek, Richard, Mülle, Jutta, Böhm, Klemens |
|---|---|
| Zdroj: | In Information Systems January 2015 47:82-97 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect