Formal techniques for networked and distributed systems [E-Book] : 28th IFIP WG 6.1 international conference FORTE 2008 Tokyo, Japan, June 10-13, 2008 : proceedings / ed. by K. Suzuki ...
Suzuki, K., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540688549
9783540688556 (e-book)
Lecture notes in computer science ; 5048
Full Text
Description not available.