External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

CLTSA: labelled transition system analyser with counting fluent support

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]

Authors

Germán Regis

This author has not been identified. Look up 'Germán Regis' in Google

Renzo Degiovanni

This author has not been identified. Look up 'Renzo Degiovanni' in Google

Nicolás D'Ippolito

This author has not been identified. Look up 'Nicolás D'Ippolito' in Google

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google
runs on