Keywords of "Specifying and Verifying Properties of Space"
- Label
- Keywords of "Specifying and Verifying Properties of Space" (literal)
- Parole chiave di "Specifying and Verifying Properties of Space" (literal)
- Insieme di parole chiave di
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- Model Checking (Parola chiave)
- Closure Spaces (Parola chiave)
- Topological Spaces (Parola chiave)
- Modal Logics (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Specifying and Verifying Properties of Space (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- Model Checking (Parola chiave)
- Closure Spaces (Parola chiave)
- Topological Spaces (Parola chiave)
- Modal Logics (Parola chiave)
