Some formal tools for analyzing quantum automata.

Alberto Bertoni Carlo Mereghetti Beatrice Palano

Published in: Theor. Comput. Sci. (2006)

Keyphrases

software tools
formal methods
end users
building blocks
formal models
artificial intelligence
decision support
user friendly
information systems
case study
object oriented
cellular automata
regular expressions