Pages that link to "Item:Q2251126"
From MaRDI portal
The following pages link to Interval-based temporal functional dependencies: specification and verification (Q2251126):
Displaying 4 items.
- Mining approximate interval-based temporal dependencies (Q329410) (← links)
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Logic of temporal attribute implications (Q2364366) (← links)