STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking
Chapter
Overview
publication date
- January 1, 2022
has restriction
- closed
Date in CU Experts
- January 25, 2022 2:28 AM
Full Author List
- Roberts R; Neupane T; Buecherl L; Myers CJ; Zhang Z
Full Editor List
- Finkbeiner B; Wies T
author count
- 5
citation count
- 4
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-030-94582-4
Additional Document Info
start page
- 319
end page
- 331
volume
- 13182