Abstract interpretation of reactive systems : abstractions preserving $\forall$CTL*, $\exists$CTL* and CTL*
| Autor: | Dams, D.R., Grumberg, O., Gerth, R.T. |
|---|---|
| Přispěvatelé: | VF-programma Parallellisme (TUE.INF.302.90.26) |
| Jazyk: | angličtina |
| Rok vydání: | 1994 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|