Discriminating Traces with Time Conference Proceeding

Overview

CU Boulder Authors

• Chang, Bor-Yuh Evan
• Sankaranarayanan, Sriram
• Trivedi, Ashutosh

publication date

• April 22, 2017

has restriction

• closed

Date in CU Experts

• February 7, 2018 4:02 AM

Full Author List

• Tizpaz-Niari S; Cerny P; Chang B-YE; Sankaranarayanan S; Trivedi A

Full Editor List

• Legay A; Margaria T

author count

• 5

citation count

• 5

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 19th European Joint Conferences on Theory and Practice of Software (ETAPS)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-662-54580-5_2

International Standard Book Number (ISBN) 13

• 978-3-662-54579-9

Additional Document Info

start page

• 21

end page

• 37

volume

• 10206