Publication:2908867
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2010.376zbMath1245.68117MaRDI QIDQ2908867
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_b144.html
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
94A17: Measures of information, entropy
Related Items