Verallgemeinerte Überwachersynthese. - Roberto M. Ziller (MBMV, 2006)

Erstellung korrekter Spezifikationen für diskrete Systeme. - Roberto M. Ziller; Detlef Schmid (MBMV, 2006)