BibTeX record conf/fdl/BaraBCLER10

download as .bib file

@inproceedings{DBLP:conf/fdl/BaraBCLER10,
  author    = {Abdelrezzak Bara and
               Pirouz Bazargan{-}Sabet and
               Remy Chevallier and
               Dominique Ledu and
               Emmanuelle Encrenaz and
               Patricia Renault},
  title     = {Formal Verification of Timed {VHDL} Programs},
  booktitle = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
               {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages     = {80--85},
  year      = {2010},
  crossref  = {DBLP:conf/fdl/2010},
  timestamp = {Fri, 25 Feb 2011 17:53:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/BaraBCLER10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fdl/2010,
  editor    = {Adam Morawiec and
               Jinnie Hinderscheit},
  title     = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
               {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year      = {2010},
  url       = {http://www.ecsi.org/fdl2010/},
  timestamp = {Fri, 25 Feb 2011 17:44:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fdl/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics