On the Construction of Monitors for Temporal Logic Properties
| Autor: | Geilen, M.C.W. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science October 2001 55(2):181-199 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Geilen, M.C.W. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science October 2001 55(2):181-199 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect