BibTeX record conf/date/BlasquezHFLBHB02

• > Home > conf/date/BlasquezHFLBHB02

@inproceedings{DBLP:conf/date/BlasquezHFLBHB02,
  author       = {Joel Blasquez and
                  Marten van Hulst and
                  Andrea Fedeli and
                  Jean{-}Luc Lambert and
                  Dominique Borrione and
                  Coby Hanoch and
                  Pierre Bricaud},
  title        = {Formal Verification Techniques: Industrial Status and Perspectives},
  booktitle    = {2002 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2002), 4-8 March 2002, Paris, France},
  pages        = {1050},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/DATE.2002.998430},
  doi          = {10.1109/DATE.2002.998430},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BlasquezHFLBHB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}