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.
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
{"_id":"iaoskRH9tGdjSwDSe","bibbaseid":"regis-degiovanni-dippolito-aguirre-cltsalabelledtransitionsystemanalyserwithcountingfluentsupport-2017","author_short":["Regis, G.","Degiovanni, R.","D'Ippolito, N.","Aguirre, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Germán"],"propositions":[],"lastnames":["Regis"],"suffixes":[]},{"firstnames":["Renzo"],"propositions":[],"lastnames":["Degiovanni"],"suffixes":[]},{"firstnames":["Nicolás"],"propositions":[],"lastnames":["D'Ippolito"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]}],"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":[{"firstnames":["Eric"],"propositions":[],"lastnames":["Bodden"],"suffixes":[]},{"firstnames":["Wilhelm"],"propositions":[],"lastnames":["Schäfer"],"suffixes":[]},{"firstnames":["Arie"],"propositions":["van"],"lastnames":["Deursen"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Zisman"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/sigsoft/RegisDDA17,\n\tauthor = {Germ{\\'{a}}n Regis and Renzo Degiovanni and Nicol{\\'{a}}s D'Ippolito and Nazareno Aguirre},\n\tbibsource = {dblp computer science bibliography, https://dblp.org},\n\tbiburl = {https://dblp.org/rec/conf/sigsoft/RegisDDA17.bib},\n\tbooktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},\n\tdoi = {10.1145/3106237.3122828},\n\teditor = {Eric Bodden and Wilhelm Sch{\\\"{a}}fer and Arie van Deursen and Andrea Zisman},\n\tpages = {979--983},\n\tpublisher = {{ACM}},\n\ttimestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n\ttitle = {{CLTSA:} labelled transition system analyser with counting fluent support},\n\turl = {https://doi.org/10.1145/3106237.3122828},\n\tyear = {2017},\n\tBdsk-Url-1 = {https://doi.org/10.1145/3106237.3122828},\n\tBdsk-Url-2 = {http://dx.doi.org/10.1145/3106237.3122828}}\n\n","author_short":["Regis, G.","Degiovanni, R.","D'Ippolito, N.","Aguirre, N."],"editor_short":["Bodden, E.","Schäfer, W.","van Deursen, A.","Zisman, A."],"key":"DBLP:conf/sigsoft/RegisDDA17","id":"DBLP:conf/sigsoft/RegisDDA17","bibbaseid":"regis-degiovanni-dippolito-aguirre-cltsalabelledtransitionsystemanalyserwithcountingfluentsupport-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3106237.3122828"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://mfis.dc.exa.unrc.edu.ar/downloads/mfis-pubs.bib","dataSources":["CctimS4AgKgzGybH5"],"keywords":[],"search_terms":["cltsa","labelled","transition","system","analyser","counting","fluent","support","regis","degiovanni","d'ippolito","aguirre"],"title":"CLTSA: labelled transition system analyser with counting fluent support","year":2017}