Collecting statistics over runtime executions Journal Article

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

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)

• 10.1007/s10703-005-3399-3

Additional Document Info

start page

• 253

end page

• 274

volume

• 27

issue

• 3