Collecting statistics over runtime executions
Journal Article
Overview
publication date
- November 1, 2005
Full Author List
- Finkbeiner B; Sankaranarayanan S; Sipma HB
published in
- Formal Methods in System Design Journal
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 253
end page
- 274
volume
- 27
issue
- 3