English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
Formal techniques for networked and distributed systems
Information
Publications
Export
Statistics
Options
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
Springer
Verlagsort
Berlin
Datum
2002
Serie
Lecture Notes in Computer Science
ISBN
3-540-00141-7
Konferenz
Joint International Conference on Formal Description Techniques for Networked and Distributed Systems 2002