Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen.

Udo W. Lipeck, Gunter Saake

Browse the full GI paper archive.