BibTeX record: conf/date/FerroP10

download as .bib file

@inproceedings{DBLP:conf/date/FerroP10,
  author    = {Luca Ferro and
               Laurence Pierre},
  title     = {Formal semantics for {PSL} modeling layer and application to the verification
               of transactional models.},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
               March 8-12, 2010},
  year      = {2010},
  pages     = {1207--1212},
  crossref  = {DBLP:conf/date/2010},
  url       = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5456991},
  timestamp = {Wed, 03 Sep 2014 07:25:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/FerroP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2010,
  title     = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
               March 8-12, 2010},
  year      = {2010},
  publisher = {{IEEE}},
  timestamp = {Wed, 03 Sep 2014 07:25:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/date/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}