Johannes Kösters

Publication Activity (10 Years)

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

Publications

Christoph Jäschke, Ralf Winkelmann, Johannes Kösters
Control Register Specification and Verification in Complex Systems. MBMV (2006)