The following pages link to (Q2754058):
Displaying 7 items.
- Hierarchies of weak automata and weak monadic formulas (Q805253) (← links)
- Formal proof of a machine closed theorem in Coq (Q1714805) (← links)
- Quasi-weak cost automata: a new variant of weakness (Q2911613) (← links)
- Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL (Q3183543) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431331) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711494) (← links)
- (Q5875419) (← links)