Monitorable hyperproperties of nonterminating systems
| Autor: | Damanafshan, Morteza, Fallah, Mehran S. |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming August 2022 128 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Damanafshan, Morteza, Fallah, Mehran S. |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming August 2022 128 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect