Biblio
Filters: Author is Martinez, J. [Clear All Filters]
Constraint-based synchronization and verification of distributed Java programs.
Lecture Notes in Computer Science . 3132, Abstract
(2004).
Model checking constraint-based concurrent Java programs.
International Workshop on Constructive Methods for Parallel Programming. Abstract
(2004).