Publications :: Search

Show author

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

Author information
First name:	Veronika
Last name:	Ortner
DBLP:	43/2191
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
	Veronika Ortner, Norbert Schirmer. Verification of BDD Normalization.	Theorem Proving in Higher Order Logics, 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings 2005	(0)	2005

Your query returned 1 matches in the database.