BibTeX record conf/wsc/RuessM03

• > Home > conf/wsc/RuessM03

@inproceedings{DBLP:conf/wsc/RuessM03,
  author       = {Harald Rue{\ss} and
                  Leonardo Mendon{\c{c}}a de Moura},
  editor       = {Stephen E. Chick and
                  Paul J. Sanchez and
                  David M. Ferrin and
                  Douglas J. Morrice},
  title        = {Simulation and verification {I:} from simulation to verification (and
                  back)},
  booktitle    = {Proceedings of the 35th Winter Simulation Conference: Driving Innovation,
                  New Orleans, Louisiana, USA, December 7-10, 2003},
  pages        = {888--896},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/WSC.2003.1261508},
  doi          = {10.1109/WSC.2003.1261508},
  timestamp    = {Fri, 24 Mar 2023 00:04:16 +0100},
  biburl       = {https://dblp.org/rec/conf/wsc/RuessM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}