BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automata (2)
time (2)
when (1)
class (1)

Stem determiniz$ (all stems)

2 papers:

ICALPICALP-v2-2009-BaierBBB #automaton #question
When Are Timed Automata Determinizable? (CB, NB, PB, TB), pp. 43–54.
CAVCAV-1994-AlurFH #automaton
A Determinizable Class of Timed Automata (RA, LF, TAH), pp. 1–13.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.