• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Hauptwerk
  4. Formal techniques for networked and distributed systems
 
  • Information
  • Publications
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
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022