A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties
- Do, C.M.
- Phyo, Y.
- Riesco, A.
- Ogata, K.
Actas:
Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021
ISBN: 9781665434317
Año de publicación: 2021
Páginas: 155-166
Tipo: Aportación congreso