Pages that link to "Item:Q6162107"
From MaRDI portal
The following pages link to An algorithmic approach for checking closure properties of Ω-regular languages (Q6162107):
Displaying 6 items.
- Stutter-invariant temporal properties are expressible without the next-time operator (Q290250) (← links)
- Specification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressions (Q1079373) (← links)
- An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages (Q1276242) (← links)
- An expressively complete linear time temporal logic for Mazurkiewicz traces (Q2506491) (← links)
- Closure properties of subclasses of ω-regular languages under morphism and inverse morphism (Q4016385) (← links)
- (Q5744635) (← links)