Andreas Gerhardus Engels

• Languages for analysis and testing of event sequences