Department highlights - METEOR guided by Statemate
2005
Article (Journal)
Unknown
Modellierung der Forms-Fallstudien mit Statemate
Tema Archive | 2000
|Department highlights - Technology update - Testing a Meteor for all seasons
Online Contents | 2006
Formale Analyse und Verifikation von Statemate-Entwürfen
IuD Bahn | 2001
|