A practical data-flow verification scheme for business processes / Christine Tex, Jutta Mülle, Klemens Böhm
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2016, 10Publisher: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2016Description: 1 Online-Ressource (26 Seiten)Genre/Form: DOI: DOI: 10.5445/IR/1000054474Online resources: PPN: PPN: 87372206XPackage identifier: Produktsigel: ZDB-296-TTNNo physical items for this record