TY - DATA AU - Barthe,Gilles AU - Boer,Frank S. ED - SpringerLink (Online service) TI - Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540688631 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer Communication Networks KW - Computer Science KW - Logic design KW - Operating systems (Computers) KW - Software engineering KW - Logics and Meanings of Programs KW - Operating Systems KW - Programming Languages, Compilers, Interpreters KW - Programming Techniques KW - Software Engineering UR - http://dx.doi.org/10.1007/978-3-540-68863-1 ER -