Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Author: David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)
Publisher: Springer-Verlag Berlin Heidelberg
Language: English
Edition: 1
Year: 2009
Page: 249
ISBN: 3642021379,9783642021374
File Type: pdf
File Size: 3.1 MiB

Just click on START button on Telegram Bot