Treffer: Formal techniques for networked and distributed systems
Titel:
Formal techniques for networked and distributed systems : 25th IFIP WG 6.1 international conference ; proceedings / FORTE 2005, Taipei, Taiwan, October 2 - 5, 2005. Farn Wang (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2005
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 3731
alle Bände anzeigen
alle Bände anzeigen
RVK-Notation:
Schlagworte:
DOI:
10.1007/11562436