Publications

DBLP:conf/dac/PillSCRBC06

Summary

Ingo Pill, Simone Semprini, Roberto Cavada, Marco Roveri, Roderick Bloem and Alessandro Cimatti(2006) Formal analysis of hardware requirements.. In Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. (Ellen Sentovich, Eds.) ACM, pages 821-826. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/dac/PillSCRBC06,
    AUTHOR = { Ingo Pill and Simone Semprini and Roberto Cavada and Marco Roveri and Roderick Bloem and Alessandro Cimatti },
    EDITOR = { Ellen Sentovich },
    TITLE = { Formal analysis of hardware requirements. },
    BOOKTITLE = { Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006 },
    PUBLISHER = { ACM },
    YEAR = { 2006 },
    ISBN = { 1-59593-381-6 },
    PAGES = { 821-826 },
    EE = { http://doi.acm.org/10.1145/1146909.1147119 },
    BIBSOURCE = { DBLP,http://dblp.uni-trier.de },
}