A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties
- Do, C.M.
- Phyo, Y.
- Riesco, A.
- Ogata, K.
Aktak:
Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021
ISBN: 9781665434317
Argitalpen urtea: 2021
Orrialdeak: 155-166
Mota: Biltzar ekarpena