STAMINA in C plus plus : Modernizing an Infinite-State Probabilistic Model Checker
Chapter
Overview
publication date
- January 1, 2023
has restriction
- closed
Date in CU Experts
- September 19, 2023 6:17 AM
Full Author List
- Jeppson J; Volk M; Israelsen B; Roberts R; Williams A; Buecherl L; Myers CJ; Zheng H; Winstead C; Zhang Z
Full Editor List
- Jansen N; Tribastone M
author count
- 10
citation count
- 0
published in
Other Profiles
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-031-43834-9
Additional Document Info
start page
- 101
end page
- 109
volume
- 14287