Verification: Theory and Practice
From MaRDI portal
Publication:5305664
DOI10.1007/b12001zbMath1274.94164OpenAlexW2483649756MaRDI QIDQ5305664
Publication date: 23 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b12001
Related Items (4)
The p-adic Theory of Automata Functions ⋮ Quantization causes waves: smooth finitely computable functions are affine ⋮ The non-Archimedean theory of discrete systems ⋮ Automata finiteness criterion in terms of van der Put series of automata functions
This page was built for publication: Verification: Theory and Practice
