Guido Sandmann

Publication Activity (10 Years)

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

Publications

Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. FM (2005)