Collecting statistics over runtime executions Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Sankaranarayanan, Sriram

publication date

• November 1, 2005

has restriction

• green

Date in CU Experts

• December 8, 2013 10:04 AM

Full Author List

• Finkbeiner B; Sankaranarayanan S; Sipma HB

author count

• 3

citation count

• 25

published in

• Formal Methods in System Design  Journal

Other Profiles

International Standard Serial Number (ISSN)

• 0925-9856

Digital Object Identifier (DOI)

• https://doi.org/10.1007/s10703-005-3399-3

Additional Document Info

start page

• 253

end page

• 274

volume

• 27

issue

• 3