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 proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationDesign Automation Conference
PublisherAssociation of Computing Machinery
Pages821-826
ISBN (Print)1-59593-381-6
Publication statusPublished - 2006

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Cite this

Pill, I. H., Bloem, R. P., Semprini, S., Roveri, M., Cimatti, A., & Cavada, R. (2006). Formal analysis of hardware requirements. In Design Automation Conference (pp. 821-826). Association of Computing Machinery.

Formal analysis of hardware requirements. / Pill, Ingo Hans; Bloem, Roderick Paul; Semprini, Simone; Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto.

Design Automation Conference. Association of Computing Machinery, 2006. p. 821-826.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Pill, IH, Bloem, RP, Semprini, S, Roveri, M, Cimatti, A & Cavada, R 2006, Formal analysis of hardware requirements. in Design Automation Conference. Association of Computing Machinery, pp. 821-826.
Pill IH, Bloem RP, Semprini S, Roveri M, Cimatti A, Cavada R. Formal analysis of hardware requirements. In Design Automation Conference. Association of Computing Machinery. 2006. p. 821-826
Pill, Ingo Hans ; Bloem, Roderick Paul ; Semprini, Simone ; Roveri, Marco ; Cimatti, Alessandro ; Cavada, Roberto. / Formal analysis of hardware requirements. Design Automation Conference. Association of Computing Machinery, 2006. pp. 821-826
@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",

}

TY - GEN

T1 - Formal analysis of hardware requirements

AU - Pill, Ingo Hans

AU - Bloem, Roderick Paul

AU - Semprini, Simone

AU - Roveri, Marco

AU - Cimatti, Alessandro

AU - Cavada, Roberto

PY - 2006

Y1 - 2006

M3 - Conference contribution

SN - 1-59593-381-6

SP - 821

EP - 826

BT - Design Automation Conference

PB - Association of Computing Machinery

ER -