Languages for analysis and testing of event sequences / Andreas Gerhardus Engels

Languages for analysis and testing of event sequences / Andreas Gerhardus Engels