Formal analysis of hardware requirements

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Design Automation Conference
Publisher	Association for Computing Machinery (ACM)
Pages	821-826
ISBN (Print)	1-59593-381-6
Publication status	Published - 2006

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Jobstmann, B. (Attendee / Assistant), Bloem, R. (Project manager), Pill, I. H. (Attendee / Assistant), Griesmayer, A. (Attendee / Assistant) & Staber, S. S. (Attendee / Assistant)
1/01/04 → 31/12/06
Project: Research project

@inproceedings{43fe5ff277af403784089ae7b9b58bde,

title = "Formal analysis of hardware requirements",

author = "Pill, \{Ingo Hans\} and Bloem, \{Roderick Paul\} and Simone Semprini and Marco Roveri and Alessandro Cimatti and Roberto Cavada",

year = "2006",

language = "English",

isbn = "1-59593-381-6",

pages = "821--826",

booktitle = "Design Automation Conference",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

}