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.

Verifying Programs by Bounded Tree-Width Behavior Graphs

Omar Inverso, Salvatore La Torre, Gennaro Parlato, Ermenegildo Tomasco. Verifying Programs by Bounded Tree-Width Behavior Graphs. In Vadim Malvone, Aniello Murano, editors, Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings. Volume 14282 of Lecture Notes in Computer Science, pages 116-132, Springer, 2023. [doi]

Authors

Omar Inverso

This author has not been identified. Look up 'Omar Inverso' in Google

Salvatore La Torre

This author has not been identified. Look up 'Salvatore La Torre' in Google

Gennaro Parlato

This author has not been identified. Look up 'Gennaro Parlato' in Google

Ermenegildo Tomasco

This author has not been identified. Look up 'Ermenegildo Tomasco' in Google
runs on