Title

Formal techniques for networked and distributed systems

Title Supplement

22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002, proceedings, FORTE 2002

Person Involved

Corporate Author

International Federation for Information Processing -IFIP-, Working Group 6.1 Architecture and Protocols for Computer Networks

Publisher

Publishing Place

Berlin

Publication Date

2002

Series

Lecture Notes in Computer Science; 2529

ISBN

3-540-00141-7

Conference