A Tool for Model Checking Eventual Model Checking in a Stratified Way

Autor:	Moe Nandi Aung, Yati Phyo, Canh Minh Do, Kazuhiro Ogata
Rok vydání:	2022
Zdroj:	2022 9th International Conference on Dependable Systems and Their Applications (DSA).
DOI:	10.1109/dsa56465.2022.00045
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fb775a9eb29e06393d3537cf5ee70a22 https://doi.org/10.1109/dsa56465.2022.00045 Zobrazit plný text záznamu