Formal analysis of hardware requirements

Ingo Hans Pill, Roderick Paul Bloem, Simone Semprini, Marco Roveri, Alessandro Cimatti, Roberto Cavada

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

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

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
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 of Computing Machinery",

address = "United States",

}