Tacken98'

BibTeX

@inproceedings{DBLP:conf/ifip10-3/Tacken98,
  author    = {J{\"u}rgen Tacken},
  title     = {Using Extended Predicate / Transition-Nets for the Specification,
               Analysis and Synthesis of Embedded Real-Time Systems},
  booktitle = {DIPES},
  year      = {1998},
  pages     = {51-60},
  crossref  = {DBLP:conf/ifip10-3/1998dipes},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip10-3/1998dipes,
  editor    = {Franz J. Rammig},
  title     = {Distributed and Parallel Embedded Systems, IFIP WG10.3/WG10.5
               International Workshop on Distributed and Parallel Embedded
               Systems (DIPES '98), October 5-6. 1998, Schlo{\ss} Eringerfeld,
               Germany},
  booktitle = {DIPES},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {155},
  year      = {1999},
  isbn      = {0-7923-8614-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}