scientific article
From MaRDI portal
Publication:3077339
zbMath1224.68043MaRDI QIDQ3077339
Julien David, Frédérique Bassino, Cyril Nicaud
Publication date: 22 February 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Generating, sampling and counting subclasses of regular tree languages ⋮ Random Generation and Enumeration of Accessible Deterministic Real-Time Pushdown Automata ⋮ Empirical studies in the size of diagnosers and verifiers for diagnosability analysis ⋮ Parametric random generation of deterministic tree automata ⋮ Random Generation of Deterministic Tree (Walking) Automata ⋮ Enumerating regular expressions and their languages ⋮ Diagnosability verification using LTL model checking
Uses Software
This page was built for publication: