Model Checking for the Full Hybrid Computation Tree Logic.
| Autor: | Kernberger, Daniel, Lange, Martin |
|---|---|
| Zdroj: | 2016 23rd International Symposium on Temporal Representation & Reasoning (TIME); 2016, p31-40, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|