Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... Notes in Computer Science, 2767, Band 2767)
Ein Fachband, der die Erkenntnisse der FORTE‑2003-Konferenz zu formalen Techniken für vernetzte und verteilte Systeme zusammenfasst; er beleuchtet ...