Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/nfm/BeillahiMT16
AU - Beillahi, Sidi Mohamed
AU - Mahmoud, Mohamed Yousri
AU - Tahar, Sofiène
TI - Hierarchical Verification of Quantum Circuits.
BT - NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
SP - 344
EP - 352
PY - 2016//
DO - 10.1007/978-3-319-40648-0_26
UR - https://doi.org/10.1007/978-3-319-40648-0_26
ER -
