Series Lecture Notes in Computer Science ; 7141
From CERES
A list of all pages that have property "Series" with value "Lecture Notes in Computer Science ; 7141"
- Publications:Decompositional Reasoning about the History of Parallel Processes +
- Publications:Towards Model-Based Testing of Electronic Funds Transfer Systems +