Formal Verification of Design Properties of Hardware Architectures.

Research output: Contribution to conference › Poster › Research › peer-review

Original language	English
Publication date	2008
Publication status	Published - 2008
Event	2008 Design, Automation and Test in Europe - Munich, Germany Duration: 10 Mar 2008 → 14 Mar 2008 http://www.informatik.uni-trier.de/~ley/db/conf/date/date2008.html

Conference	2008 Design, Automation and Test in Europe
Country/Territory	Germany
City	Munich
Period	10/03/2008 → 14/03/2008
Internet address	http://www.informatik.uni-trier.de/~ley/db/conf/date/date2008.html

OpenUrl availability

@conference{a22323e9fdaa4f3f911055969dd87b6c,

title = "Formal Verification of Design Properties of Hardware Architectures.",

author = "Brekling, \{Aske Wiid\} and Hansen, \{Michael Reichhardt\} and Jan Madsen",

year = "2008",

language = "English",

note = "2008 Design, Automation and Test in Europe, DATE 2008 ; Conference date: 10-03-2008 Through 14-03-2008",

url = "http://www.informatik.uni-trier.de/\textasciitilde{}ley/db/conf/date/date2008.html",

}