Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
Reachability Analysis with QBF
Armin Biere (Speaker)
Institute of Formal Models and Verification
Activity
:
Talk or presentation
›
Contributed talk
›
unknown
Period
25 Mar 2006
Event title
6th Intl. Work. on Designing Correct Circuits (DCC'06)
Event type
Conference
Location
Austria
Show on map
Fields of science
102 Computer Sciences