Publication:3077339
From MaRDI portal
zbMath1224.68043MaRDI QIDQ3077339
Julien David, Frédérique Bassino, Cyril Nicaud
Publication date: 22 February 2011
68Q45: Formal languages and automata
Related Items
Generating, sampling and counting subclasses of regular tree languages, Empirical studies in the size of diagnosers and verifiers for diagnosability analysis, Parametric random generation of deterministic tree automata, Enumerating regular expressions and their languages, Diagnosability verification using LTL model checking, Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata, Random Generation of Deterministic Tree (Walking) Automata
Uses Software