FORTE/PSTV'97
1997 IFIP TC6/WG6.1 Joint International Conference on
FORMAL DESCRIPTION TECHNIQUES
for Distributed Systems and Communication Protocols,
and
PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION
Information about Osaka, Kyoto and Nara
Information about Osaka
Information about Kyoto
Information about Nara
forte-pstv97@ics.es.osaka-u.ac.jp