VorosTVABBMA98'

@inproceedings{DBLP:conf/forte/VorosTVABBMA98,
  author    = {Nikos S. Voros and
               S. K. Tsasakou and
               C. Valderrama and
               S. Arab and
               Alexios N. Birbas and
               Michael K. Birbas and
               Evaggelinos P. Mariatos and
               A. Andritsou},
  title     = {Hardware - Software Co-design of embedded telecommunication
               systems using multiple formalisms for application development},
  booktitle = {FORTE},
  year      = {1998},
  pages     = {387-403},
  crossref  = {DBLP:conf/forte/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1998,
  editor    = {Stanislaw Budkowski and
               Ana R. Cavalli and
               Elie Najm},
  title     = {Formal Description Techniques and Protocol Specification,
               Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP
               TC6 WG6.1 Joint International Conference on Formal Description
               Techniques for Distributed Systems and Communication Protocols
               (FORTE XI) and Protocol Specification, Testing and Verification
               (PSTV XVIII), 3-6 November, 1998, Paris, France},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {135},
  year      = {1998},
  isbn      = {0-412-84760-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}