LOLA: Runtime monitoring of synchronous systems
Conference Proceeding
Overview
publication date
- June 23, 2005
Full Author List
- D'Angelo B; Sankaranarayanan S; Sanchez C; Robinson W; Finkbeiner B; Sipma HB; Mehrotra S; Manna Z
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 166
end page
- 174