A divide and conquer approach to until and until stable model checking
| Autor: | Canh Minh Do, Yati Phyo, Kazuhiro Ogata |
|---|---|
| Rok vydání: | 2022 |
| Zdroj: | Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering. |
| ISSN: | 2325-9000 |
| DOI: | 10.18293/seke2022-058 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|