DBLP Record 'conf/forte/GomezB03'

BibTeX

@inproceedings{DBLP:conf/forte/GomezB03,
  author    = {Rodolfo G{\'o}mez and
               Howard Bowman},
  title     = {Discrete Timed Automata and MONA: Description, Specification
               and Verification of a Multimedia Stream},
  booktitle = {FORTE},
  year      = {2003},
  pages     = {177-192},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2767{\&}spage=177},
  crossref  = {DBLP:conf/forte/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/2003,
  editor    = {Hartmut K{\"o}nig and
               Monika Heiner and
               Adam Wolisz},
  title     = {Formal Techniques for Networked and Distributed Systems
               - FORTE 2003, 23rd IFIP WG 6.1 International Conference,
               Berlin, Germany, September 29 - October 2, 2003, Proceedings},
  booktitle = {FORTE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2767},
  year      = {2003},
  isbn      = {3-540-20175-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}