DBLP Record 'conf/rsp/ForsterFWBM03'

BibTeX

@inproceedings{DBLP:conf/rsp/ForsterFWBM03,
  author    = {Stefan F{\"o}rster and
               M. Fischer and
               Andr{\'e} Windisch and
               B. Balser and
               Dieter Monjau},
  title     = {A New Specification Methodology for Embedded Systems Based
               on the - Calculus Process Algebra},
  booktitle = {IEEE International Workshop on Rapid System Prototyping},
  year      = {2003},
  pages     = {26-32},
  ee        = {http://csdl.computer.org/comp/proceedings/rsp/2003/1943/00/19430026abs.htm},
  crossref  = {DBLP:conf/rsp/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rsp/2003,
  title     = {14th IEEE International Workshop on Rapid System Prototyping
               (RSP 2003), 9-11 June 2003, San Diego, CA, USA},
  booktitle = {IEEE International Workshop on Rapid System Prototyping},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1943-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}