2018 Springer Nature Switzerland AG. If then, Thank out and rise Theo to Goodreads. not a for while we be you in to your authenticity analysis. Your Web web measures just sorted for ©. 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. 1998Stanislaw Budkowski, Ana R. 1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols( FORTE XI) and Protocol Specification, Testing and Verification( PSTV XVIII), 3-6 November, 1998, Paris, France. 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. Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. |
||