Vol-411⫷ Vol-412 ⫸Vol-413
urn:nbn:de:0074-412-0


Vol-412/paper-4⫷Vol-412/paper-5⫸Vol-412/paper-6

Temporal and Modal Logic Based Event Languages for the Development of Reactive Application Systems