The following pages link to (Q3704886):
Displaying 5 items.
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Static analysis for state-space reductions preserving temporal logics (Q1878929) (← links)
- (Q3972532) (← links)
- (Q4037371) (← links)
- TEMPORAL LOGICS FOR TRACE SYSTEMS: ON AUTOMATED VERIFICATION (Q4275182) (← links)