BibTeX record conf/ifip10-5/ChenMMH99

• > Home > conf/ifip10-5/ChenMMH99

@inproceedings{DBLP:conf/ifip10-5/ChenMMH99,
  author       = {Tom Chen and
                  Isabelle Munn and
                  Anneliese von Mayrhauser and
                  Amjad Hajjar},
  editor       = {L. Miguel Silveira and
                  Srinivas Devadas and
                  Ricardo Augusto da Luz Reis},
  title        = {Efficient Verification of Behavioral Models Using Sequential Sampling
                  Technique},
  booktitle    = {{VLSI:} Systems on a Chip, {IFIP} {TC10/WG10.5} Tenth International
                  Conference on Very Large Scale Integration {(VLSI} '99), December
                  1-4, 1999, Lisbon, Portugal},
  series       = {{IFIP} Conference Proceedings},
  volume       = {162},
  pages        = {398--406},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Mon, 02 Mar 2020 17:19:02 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip10-5/ChenMMH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}