Browsing by Author Feja, Sven

Showing results 1 to 4 of 4
Issue DateTitleAuthor(s)
2010Developer-friendly verification of process-based systemsPulvermueller, Elke ; Feja, Sven; Speck, Andreas
2011Formalizing Business Process SpecificationsSpeck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel
2010PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking ModelsPulvermüller, Elke ; Speck, Andreas; Feja, Sven; Witt, Sören
2011Verification of e-Commerce Business ProcessesFeja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H.