Search results for: Luca Aceto
Formal Methods in System Design > 2017 > 51 > 1 > 87-116
Acta Informatica > 2017 > 54 > 1 > 1-2
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 146-161
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 439-453
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 80-95
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 42-56
Lecture Notes in Computer Science > CONCUR '91 > 78-95
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 20-34
Lecture Notes in Computer Science > Theoretical Computer Science > Algorithms and Complexity > 174-187
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 41-55
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Regular Papers > 141-152
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 263-280
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 378-385
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 89-108
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 338-367
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Model Checking > 125-136