Reicherdt, Robert
VIAF ID: 150145542672896642344 ( Personal )
Permalink: http://viaf.org/viaf/150145542672896642344
Preferred Forms
- 100 1 _ ‡a Reicherdt, Robert
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Framework für die automatische Verifikation von zeitdiskreten MATLAB Simulink Modellen mit Boogie |