Daniel Fass

Publication Activity (10 Years)

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

Publications

Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter
Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. RTSS (2010)