Symbolic bisimulation for quantum processes

Publisher:
ACM
Publication Type:
Journal Article
Citation:
ACM Transactions on Computational Logic (TOCL), 2014, 15 pp. 14 - 14
Issue Date:
2014
Full metadata record
Files in This Item:
Filename Description Size
Thumbnailqsb.pdf845.2 kB
Adobe PDF
Please use this identifier to cite or link to this item: