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.

PROTON: PRObes for Termination Or Not (Competition Contribution)

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh 0001, Supratik Chakraborty. PROTON: PRObes for Termination Or Not (Competition Contribution). In Bernd Finkbeiner, Laura Kovács, editors, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Volume 14572 of Lecture Notes in Computer Science, pages 393-398, Springer, 2024. [doi]

Authors

Ravindra Metta

This author has not been identified. Look up 'Ravindra Metta' in Google

Hrishikesh Karmarkar

This author has not been identified. Look up 'Hrishikesh Karmarkar' in Google

Kumar Madhukar

This author has not been identified. Look up 'Kumar Madhukar' in Google

R. Venkatesh 0001

This author has not been identified. Look up 'R. Venkatesh 0001' in Google

Supratik Chakraborty

This author has not been identified. Look up 'Supratik Chakraborty' in Google
runs on