Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre. CLTSA: labelled transition system analyser with counting fluent support. In Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman, editors, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. pages 979-983, ACM, 2017. [doi]
Abstract is missing.