Access Nets: Modeling Access to Physical Spaces Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan
• Sankaranarayanan, Sriram

publication date

• January 23, 2011

Date in CU Experts

• October 17, 2013 8:36 AM

Full Author List

• Frohardt R; Chang B-YE; Sankaranarayanan S

Full Editor List

• Jhala R; Schmidt D

author count

• 3

citation count

• 5

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 12th 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-642-18274-7

Additional Document Info

start page

• 184

end page

• 198

volume

• 6538