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.

Parameterized Verification under TSO with Data Types

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Amit Godbole, Yacoub G. Hendi, Shankara Narayanan Krishna, Stephan Spengler. Parameterized Verification under TSO with Data Types. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Volume 13993 of Lecture Notes in Computer Science, pages 588-606, Springer, 2023. [doi]

Authors

Parosh Aziz Abdulla

This author has not been identified. Look up 'Parosh Aziz Abdulla' in Google

Mohamed Faouzi Atig

This author has not been identified. Look up 'Mohamed Faouzi Atig' in Google

Florian Furbach

This author has not been identified. Look up 'Florian Furbach' in Google

Adwait Amit Godbole

This author has not been identified. Look up 'Adwait Amit Godbole' in Google

Yacoub G. Hendi

This author has not been identified. Look up 'Yacoub G. Hendi' in Google

Shankara Narayanan Krishna

This author has not been identified. Look up 'Shankara Narayanan Krishna' in Google

Stephan Spengler

This author has not been identified. Look up 'Stephan Spengler' in Google
runs on