F.4.1 Mathematical Logic. Temporal logic
- Label
- F.4.1 Mathematical Logic. Temporal logic (literal)
- Membro di
- Keywords of "Modelling and analysing the finance case study in UMC" (Insieme di parole chiave)
- Parole chiave di "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)
- Value
- F.4.1 Mathematical Logic. Temporal logic (literal)
Incoming links:
- Ha membro
- Parole chiave di "A state/event-based model-checking approach for the analysis of abstract system properties" (Insieme di parole chiave)
- Keywords of "Modelling and analysing the finance case study in UMC" (Insieme di parole chiave)
