- 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

Osaka, Japan November 18-21, 1997


PROGRAM


Conference Registration & Hotel Reservation Form


Information about Osaka, Kyoto and Nara

Information about Osaka

Information about Kyoto

Information about Nara


How to reach the conference place and hotels



FORTE/PSTV'98 Home Page

IWTCS'98 Home Page


forte-pstv97@ics.es.osaka-u.ac.jp