Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Guido
Last name:	Sandmann
DBLP:	06/6615
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop. Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications.	FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings 2005	(0)	2005

Your query returned 1 matches in the database.