Special Issue for the Conferences on Computer Science Logic and Logic in Computer Sciences (CSL-LICS) 2014
Thomas A Henzinger, Dale Miller
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Erika Abraham, Klaus Havelund
Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)
Reiko Heckel, Stefan Milius
Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013
Pedro R. D'Argenio, Hernán Melgratti, Davide Sangiorgi
Selected Papers of the "10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)"
Kaustubh Joshi, Markus Siegle