On complementing nondeterministic Buchi automata Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 1, 2003

Date in CU Experts

• September 6, 2013 12:30 PM

Full Author List

• Gurumurthy S; Kupferman O; Somenzi F; Vardi MY

Full Editor List

• Geist D; Tronci E

author count

• 4

citation count

• 30

published in

• Lecture Notes in Artificial Intelligence  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Additional Document Info

start page

• 96

end page

• 110

volume

• 2860