Frutos-Escrig, David de
[HerausgeberIn];
Nunez, Manuel
[Sonstige Person, Familie und Körperschaft]
;
International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks,
IFIP Working Group 6.1,
FORTE 24 2004 Madrid
Formal techniques for networked and distributed systems - FORTE 2004
: 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27 - 30, 2004 ; proceedings
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Formal techniques for networked and distributed systems - FORTE 2004
:
24th IFIP WG 6.1 international conference, Madrid, Spain, September 27 - 30, 2004 ; proceedings