BibTeX record conf/date/KarlssonEP06

download as .bib file

@inproceedings{DBLP:conf/date/KarlssonEP06,
  author    = {Daniel Karlsson and
               Petru Eles and
               Zebo Peng},
  title     = {Formal verification of systemc designs using a petri-net based representation},
  booktitle = {{DATE}},
  pages     = {1228--1233},
  publisher = {European Design and Automation Association, Leuven, Belgium},
  year      = {2006}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics