Skip to main navigation
Skip to search
Skip to main content
The Australian National University Home
Help & FAQ
Home
Profiles
Research output
Projects
Research units
Search by expertise, name or affiliation
Hardware Verification Using LAX Logic
Gore, Rajeev
(PI)
Dawson, Jeremy
(CoI)
Project
:
Research
Overview
Project Details
Status
Finished
Effective start/end date
1/08/01
→
31/01/02
View all
View less