Automata and computability¶
Kozen, D. C. (2007). Automata and computability. Springer.
Cited by¶
1 citation across 1 artifact.
Domain-specific¶
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:032391c03911 · see in the full table