Roberto M. Ziller

Publication Activity (10 Years)

Years Active: 2006-2006
Publications (10 Years): 0

Publications

Roberto M. Ziller, Detlef Schmid
Erstellung korrekter Spezifikationen für diskrete Systeme. MBMV (2006)
Roberto M. Ziller
Verallgemeinerte Überwachersynthese. MBMV (2006)