Search results for: Antti Siirtola
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification II > 321-337
Lecture Notes in Computer Science > SOFSEM 2008: Theory and Practice of Computer Science > Foundations of Computer Science > 460-472
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Process Algebra > 561-580
Information and Computation > 2015 > 244 > C > 23-48