Suzuki, Kenji
[HerausgeberIn]
;
FORTE 28 2008 Tokio
Formal techniques for networked and distributed systems - FORTE 2008
: 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 ; 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 2008
:
28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 ; proceedings