Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CONF
ID - DBLP:conf/forte/1997
ED - Togashi, Atsushi
ED - Mizuno, Tadanori
ED - Shiratori, Norio
ED - Higashino, Teruo
TI - Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan
T3 - IFIP Conference Proceedings
VL - 107
PY - 1998//
PB - Chapman & Hall
SN - ISBN 0-412-82060-9
ER -
