LOLA:: Runtime monitoring of synchronous systems Conference Proceeding

• Best Open Access

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• June 23, 2005

has restriction

• green

Date in CU Experts

• January 29, 2016 1:53 AM

Full Author List

• D'Angelo B; Sankaranarayanan S; Sánchez C; Robinson W; Finkbeiner B; Sipma HB; Mehrotra S; Manna Z

author count

• 8

citation count

• 146

published in

• Time  Journal

presented at event

• 12th International Symposium on Temporal Representation and Reasoning  Conference

Other Profiles

Digital Object Identifier (DOI)

• https://doi.org/10.1109/time.2005.26

International Standard Book Number (ISBN) 10

• 0-7695-2370-6

Additional Document Info

start page

• 166

end page

• 174