Cesare Tinelli

Editorial   Open access

Special issue of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015)

by Christel Baier and Cesare Tinelli

Published 12/2017

Acta informatica, 54, 8, 727 - 728

Editorial   Open access

Preface

by Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise and Cesare Tinelli

Published 07/18/2005

Electronic notes in theoretical computer science, 125, 3, 1 - 2