CITATION STYLE
Ramirez, R., & Martinez, J. (2004). Constraint-Based Synchronization and Verification of Distributed Java Programs. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3132, 473–474. https://doi.org/10.1007/978-3-540-27775-0_44
Mendeley helps you to discover research relevant for your work.