We are currently collecting comments, criticisms, and testimonials for the evaluation of our efforts by our public funders. If you want to share any thoughts that we may use in our report, please feel free to send us your comments!
default search action
30. FORTE / 12. FMOODS 2010:
Amsterdam, The Netherlands
John Hatcliff, Elena Zucca: Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings.Lecture Notes in Computer Science 6117, Springer2010, ISBN 978-3-642-13463-0