VIVO
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
Selectively-Amortized Resource Bounding
Conference Proceeding
Overview
Other Profiles
Additional Document Info
Overview
publication date
October 17, 2021
has restriction
closed
Date in CU Experts
December 3, 2021 10:09 AM
Full Author List
Lu T; Chang B-YE; Trivedi A
Full Editor List
Dragoi C; Mukherjee S; Namjoshi K
author count
3
citation count
2
published in
Lecture Notes in Artificial Intelligence
Journal
presented at event
28th International Static Analysis Symposium (SAS)
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-030-88806-0_14
International Standard Book Number (ISBN) 13
978-3-030-88805-3
Additional Document Info
start page
286
end page
307
volume
12913