MSO-Definable Regular Model Checking Journal Article

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• October 20, 2019

Date in CU Experts

• February 1, 2020 3:16 AM

Full Author List

• Trivedi A; Dohmen T; Krishna S; Dave V

author count

• 4