Regular Model Checking with Regular Relations Conference Proceeding

• Best Open Access

Overview

CU Boulder Authors

• Trivedi, Ashutosh

publication date

• September 12, 2021

has restriction

• green

Date in CU Experts

• December 3, 2021 10:09 AM

Full Author List

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

Full Editor List

• Bampis E; Pagourtzis A

author count

• 4

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 23rd International Symposium on Fundamentals of Computation Theory (FCT)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-030-86593-1_13

International Standard Book Number (ISBN) 13

• 978-3-030-86592-4

Additional Document Info

start page

• 190

end page

• 203

volume

• 12867