Formal techniques for networked and distributed systems - FORTE 2004 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27 - 30, 2004 ; proceedings (Springer, 2004)
Keywords: Formale Methode; Rechnernetz; Softwaretest; Softwarespezifikation; Formale Spezifikationstechnik; Verteiltes System; Konferenzschrift -- 2004 -- Madrid