Title

Formal techniques for networked and distributed systems
Titel Supplements
22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002, proceedings, FORTE 2002
Institut
International Federation for Information Processing -IFIP-, Working Group 6.1 Architecture and Protocols for Computer Networks
Verlag
Verlagsort
Berlin
Datum
2002
Serie
Lecture Notes in Computer Science
ISBN
3-540-00141-7
Konferenz