Restricted Temporal Logic and Deterministic Languages
Journal of Automata, Languages and Combinatorics. 3. Aufl. H. 5. 2000 S. 325 - 342
Erscheinungsjahr: 2000
Publikationstyp: Diverses
Sprache: Deutsch
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft