DBLP Record 'conf/wsc/ButlerMGM03'

BibTeX

@inproceedings{DBLP:conf/wsc/ButlerMGM03,
  author    = {Ricky W. Butler and
               Jeffrey Maddalon and
               Alfons Geser and
               C{\'e}sar Mu{\~n}oz},
  title     = {Simulation and verification I: formal analysis of air traffic
               management systems: the case of conflict resolution and
               recovery},
  booktitle = {Winter Simulation Conference},
  year      = {2003},
  pages     = {906-914},
  ee        = {http://doi.acm.org/10.1145/1030818.1030937},
  crossref  = {DBLP:conf/wsc/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wsc/2003,
  editor    = {Stephen E. Chick and
               Paul J. Sanchez and
               David M. Ferrin and
               Douglas J. Morrice},
  title     = {Proceedings of the 35th Winter Simulation Conference: Driving
               Innovation,  New Orleans, Louisiana, USA, December 7-10,
               2003},
  booktitle = {Winter Simulation Conference},
  publisher = {ACM},
  year      = {2003},
  isbn      = {0-7803-8132-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}