A hybrid algorithm for LTL games Conference Proceeding

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 7, 2008

Date in CU Experts

• May 28, 2014 4:12 AM

Full Author List

• Sohail S; Somenzi F; Ravi K

Full Editor List

• Logozzo F; Peled DA; Zuck LD

author count

• 3

citation count

• 11

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 9th International Conference on Verification, Model Checking, and Abstract Interpretation  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

International Standard Book Number (ISBN) 13

• 978-3-540-78162-2

Additional Document Info

start page

• 309

end page

• +

volume

• 4905