A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties
- Do, C.M.
- Phyo, Y.
- Riesco, A.
- Ogata, K.
Konferenzberichte:
Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021
ISBN: 9781665434317
Datum der Publikation: 2021
Seiten: 155-166
Art: Konferenz-Beitrag