CLTSA: labelled transition system analyser with counting fluent support. Regis, G., Degiovanni, R., D'Ippolito, N., & Aguirre, N. In Bodden, E., Schäfer, W., van Deursen, A., & Zisman, A., 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, 2017. ACM.
CLTSA: labelled transition system analyser with counting fluent support [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/sigsoft/RegisDDA17,
	author = {Germ{\'{a}}n Regis and Renzo Degiovanni and Nicol{\'{a}}s D'Ippolito and Nazareno Aguirre},
	bibsource = {dblp computer science bibliography, https://dblp.org},
	biburl = {https://dblp.org/rec/conf/sigsoft/RegisDDA17.bib},
	booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
	doi = {10.1145/3106237.3122828},
	editor = {Eric Bodden and Wilhelm Sch{\"{a}}fer and Arie van Deursen and Andrea Zisman},
	pages = {979--983},
	publisher = {{ACM}},
	timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
	title = {{CLTSA:} labelled transition system analyser with counting fluent support},
	url = {https://doi.org/10.1145/3106237.3122828},
	year = {2017},
	Bdsk-Url-1 = {https://doi.org/10.1145/3106237.3122828},
	Bdsk-Url-2 = {http://dx.doi.org/10.1145/3106237.3122828}}

Downloads: 0