KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1016/j.is.2014.07.001
Scopus
Zitationen: 6
Web of Science
Zitationen: 3

A new verification technique for large processes based on identification of relevant tasks

Mrasek, Richard); Mülle, Jutta; Böhm, Klemens



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2015
Sprache Englisch
Identifikator ISSN: 0094-453x, 0306-4379, 1873-6076
KITopen ID: 1000058644
Erschienen in Information systems
Band 47
Seiten 82-97
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page