DBLP Record 'conf/anss/CopsteinMR00'

BibTeX

@inproceedings{DBLP:conf/anss/CopsteinMR00,
  author    = {Bernardo Copstein and
               Michael da Costa M{\'o}ra and
               Leila Ribeiro},
  title     = {An Environment for Formal Modeling and Simulation of Control
               Systems},
  booktitle = {Annual Simulation Symposium},
  year      = {2000},
  pages     = {74-},
  ee        = {http://csdl.computer.org/comp/proceedings/ss/2000/0598/00/05980074abs.htm},
  crossref  = {DBLP:conf/anss/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/anss/2000,
  title     = {Proceedings 33th Annual Simulation Symposium (SS 2000),
               16-22 April 2000, Washington, DC, USA},
  booktitle = {Annual Simulation Symposium},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0598-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}