CLTSA: labelled transition system analyser with counting fluent support release_o5apazp3bzbprotg6lbalxwut4

by Germán Regis, Renzo Degiovanni, Nicolas D'Ippolito, Nazareno Aguirre

Published in ACM SIGSOFT Conference on the Foundations of Software Engineering by ACM Press.

2017   p979-983

Archived Files and Locations

application/pdf  846.5 kB
file_jvwqpre2nzbsrbuosvdyexwkqy
static.aminer.org (aggregator)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2017
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d30a27ff-f98c-446e-b7bc-cdf580368002
API URL: JSON