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.

Regular Model Checking with Regular Relations

Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi 0001. Regular Model Checking with Regular Relations. In Evripidis Bampis, Aris Pagourtzis, editors, Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings. Volume 12867 of Lecture Notes in Computer Science, pages 190-203, Springer, 2021. [doi]

Authors

Vrunda Dave

This author has not been identified. Look up 'Vrunda Dave' in Google

Taylor Dohmen

This author has not been identified. Look up 'Taylor Dohmen' in Google

Shankara Narayanan Krishna

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

Ashutosh Trivedi 0001

This author has not been identified. Look up 'Ashutosh Trivedi 0001' in Google
runs on