Note: This bibliographic page is archived and will no longer be updated. For an up-to-date list of publications from the Music Technology Group see the Publications list .

Biblio

Filters: Author is Santosa, A.

2004

Ramírez, M. , Martinez J. , & Santosa A. (2004). Constraint-based synchronization and verification of distributed Java programs . Lecture Notes in Computer Science . 3132, Abstract

Ramírez, M. , Martinez J. , & Santosa A. (2004). Model checking constraint-based concurrent Java programs . International Workshop on Constructive Methods for Parallel Programming. Abstract