STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis Conference Proceeding
Overview
publication date
- July 15, 2019
has restriction
- hybrid
Date in CU Experts
- October 28, 2020 2:57 AM
Full Author List
- Neupane T; Myers CJ; Madsen C; Zheng H; Zhang Z
Full Editor List
- Dillig I; Tasiran S
author count
- 5
citation count
- 5
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Electronic International Standard Serial Number (EISSN)
- 1611-3349
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-030-25539-8
Additional Document Info
start page
- 540
end page
- 549
volume
- 11561