SchenkeD99'

BibTeX

@inproceedings{DBLP:conf/forte/SchenkeD99,
  author    = {Michael Schenke and
               Michael Dossis},
  title     = {Provably Correct Hardware Compilation using Timing Diagrams},
  booktitle = {FORTE},
  year      = {1999},
  pages     = {313-331},
  crossref  = {DBLP:conf/forte/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1999,
  editor    = {Jianping Wu and
               Samuel T. Chanson and
               Qiang Gao},
  title     = {Formal Methods for Protocol Engineering and Distributed
               Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International
               Conference on Formal Description Techniques for Distributed
               Systems and Communication Protocols (FORTE XII) and Protocol
               Specification, Testing and Verification (PSTV XIX), October
               5-8, 1999, Beijing, China},
  booktitle = {FORTE},
  publisher = {Kluwer},
  series    = {IFIP Conference Proceedings},
  volume    = {156},
  year      = {1999},
  isbn      = {0-7923-8646-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}