A new verification technique for large processes based on identification of relevant tasks
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISSN: 0094-453x, 0306-4379, 1873-6076 KITopen-ID: 1000058644 |
| Erschienen in | Information systems |
| Verlag | Pergamon |
| Band | 47 |
| Seiten | 82-97 |
| Nachgewiesen in | Dimensions Scopus Web of Science |