. . "FMCO (Symposium) (6th : 2007 : Amsterdam, Netherlands)" . _:b7iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b7iddOtlocdOtgovauthoritiesnamesnb2008027687 _:b8iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b7iddOtlocdOtgovauthoritiesnamesnb2008027687 _:b010 . _:b8iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b8iddOtlocdOtgovauthoritiesnamesnb2008027687 "FMCO (Symposium)" . _:b010 _:b11iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b010 _:b013 . _:b11iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b11iddOtlocdOtgovauthoritiesnamesnb2008027687 "2007 :" . _:b013 _:b14iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b013 . _:b14iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b14iddOtlocdOtgovauthoritiesnamesnb2008027687 "Amsterdam, Netherlands)" . _:b17iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b17iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b17iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b17iddOtlocdOtgovauthoritiesnamesnb2008027687 "International Symposium on Formal Methods for Components and Objects (6th : 2007 : Amsterdam, Netherlands)" . _:b17iddOtlocdOtgovauthoritiesnamesnb2008027687 _:b22iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b22iddOtlocdOtgovauthoritiesnamesnb2008027687 _:b23iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b22iddOtlocdOtgovauthoritiesnamesnb2008027687 _:b025 . _:b23iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b23iddOtlocdOtgovauthoritiesnamesnb2008027687 "International Symposium on Formal Methods for Components and Objects" . _:b025 _:b26iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b025 _:b028 . _:b26iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b26iddOtlocdOtgovauthoritiesnamesnb2008027687 "2007 :" . _:b028 _:b29iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b028 . _:b29iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b29iddOtlocdOtgovauthoritiesnamesnb2008027687 "Amsterdam, Netherlands)" . "1112 $aFMCO (Symposium)$n(6th :$d2007 :$cAmsterdam, Netherlands)" . . . . . . . "FMCO (Symposium) (6th : 2007 : Amsterdam, Netherlands)" . _:b42iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b42iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b42iddOtlocdOtgovauthoritiesnamesnb2008027687 "Congresses and conventions" . _:b46iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b46iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b46iddOtlocdOtgovauthoritiesnamesnb2008027687 "Amsterdam, Netherlands" . . . "Formal methods (Computer science)" . . . "English"@en . . . "nb2008027687" . "(Uk)007317176" . _:b64iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b64iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b64iddOtlocdOtgovauthoritiesnamesnb2008027687 "Formal methods for components and objects, c2008:" . _:b64iddOtlocdOtgovauthoritiesnamesnb2008027687 "t.p. (6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, Oct. 24-26, 2007) pref. (Symposium on Formal Methods for Components and Objects)" . _:b64iddOtlocdOtgovauthoritiesnamesnb2008027687 "found" . _:b72iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b72iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b72iddOtlocdOtgovauthoritiesnamesnb2008027687 "2008-12-19T00:00:00"^^ . _:b72iddOtlocdOtgovauthoritiesnamesnb2008027687 "new"^^ . _:b72iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b72iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b80iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b80iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b80iddOtlocdOtgovauthoritiesnamesnb2008027687 "2013-03-26T05:10:12"^^ . _:b80iddOtlocdOtgovauthoritiesnamesnb2008027687 "revised"^^ . _:b80iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b80iddOtlocdOtgovauthoritiesnamesnb2008027687 . . "FMCO (Symposium) (6th : 2007 : Amsterdam, Netherlands)" . _:b91iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b91iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b91iddOtlocdOtgovauthoritiesnamesnb2008027687 "International Symposium on Formal Methods for Components and Objects (6th : 2007 : Amsterdam, Netherlands)" . . . "International Symposium on Formal Methods for Components and Objects (6th : 2007 : Amsterdam, Netherlands)" . _:b100iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b100iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b100iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b100iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b100iddOtlocdOtgovauthoritiesnamesnb2008027687 "2008-12-19T00:00:00"^^ . _:b100iddOtlocdOtgovauthoritiesnamesnb2008027687 "new"^^ . _:b108iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b108iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b108iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b108iddOtlocdOtgovauthoritiesnamesnb2008027687 . _:b108iddOtlocdOtgovauthoritiesnamesnb2008027687 "2013-03-26T05:10:12"^^ . _:b108iddOtlocdOtgovauthoritiesnamesnb2008027687 "revised"^^ .