![](/img/cover-not-exists.png)
On Relation Between Linear Temporal Logic and Quantum Finite Automata
Bhatia, Amandeep Singh, Kumar, AjayJournal:
Journal of Logic, Language and Information
DOI:
10.1007/s10849-019-09302-6
Date:
September, 2019
File:
PDF, 561 KB
2019