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.

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya. Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. In Guillermo A. Pérez 0001, Jean-François Raskin, editors, 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium. Volume 279 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Shankara Narayanan Krishna

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

Khushraj Nanik Madnani

This author has not been identified. Look up 'Khushraj Nanik Madnani' in Google

Rupak Majumdar

This author has not been identified. Look up 'Rupak Majumdar' in Google

Paritosh K. Pandya

This author has not been identified. Look up 'Paritosh K. Pandya' in Google
runs on