KIT | KIT-Bibliothek | Impressum

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 DOI: 10.1016/j.is.2014.07.001
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