@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}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
