by Siirtola, Antti Tapani, Tripakis, Stavros, Heljanko, Keijo
Published in 2015 15th International Conference on Application of Concurrency to System Design (01.06.2015)

by Siirtola, Antti, Heljanko, Keijo
Published in Science of computer programming (15.10.2020)

by Siirtola, Antti
Published in 2017 17th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2017)

by Siirtola, Antti, Kortelainen, Juha
Published in Information and computation (01.10.2015)

by Siirtola, Antti
Published in 2014 14th International Conference on Application of Concurrency to System Design (01.06.2014)

by Siirtola, Antti
Published in 2010 10th International Conference on Application of Concurrency to System Design (01.06.2010)

by Siirtola, Antti, Heljanko, Keijo
Published in Formal Aspects of Component Software

by Siirtola, Antti, Heljanko, Keijo
Published in 2013 13th International Conference on Application of Concurrency to System Design (01.07.2013)

by Siirtola, Antti
Published in Formal Methods and Software Engineering

by Siirtola, Antti
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Siirtola, A.
Published in 2011 Eleventh International Conference on Application of Concurrency to System Design (01.06.2011)

by Siirtola, A., Puhakka, A., Luttgen, G.
Published in 2012 12th International Conference on Application of Concurrency to System Design (01.06.2012)

by Siirtola, A., Kortelainen, J.
Published in 2009 Ninth International Conference on Application of Concurrency to System Design (01.07.2009)

by Siirtola, Antti, Valenta, Michal
Published in SOFSEM 2008: Theory and Practice of Computer Science