DBLP Record 'journals/jucs/BorgerRS00'

BibTeX

@article{DBLP:journals/jucs/BorgerRS00,
  author    = {Egon B{\"o}rger and
               Elvinia Riccobene and
               Joachim Schmid},
  title     = {Capturing Requirements by Abstract State Machines: The Light
               Control Case Study},
  journal   = {J. UCS},
  volume    = {6},
  number    = {7},
  year      = {2000},
  pages     = {597-620},
  ee        = {http://www.jucs.org/jucs_6_7/capturing_requirements_by_abstract},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}