The following pages link to (Q4824484):
Displaying 7 items.
- Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
- Temporal Logic Verification of Lock-Freedom (Q3575281) (← links)
- (Q4415138) (← links)
- (Q4845010) (← links)
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic (Q5034230) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)
- Perspectives of System Informatics (Q5902411) (← links)