1
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Specification and Validation of Behavioural Protocols in the rCOS Modeler -- The Interplay between Relationships...

2
Published 2012
Springer Berlin Heidelberg
Subjects: ...Compilers (Computer programs)...