Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/fac/BeillahiMT19
AU - Beillahi, Sidi Mohamed
AU - Mahmoud, Mohamed Yousri
AU - Tahar, Sofiène
TI - A modeling and verification framework for optical quantum circuits.
JO - Formal Aspects Comput.
VL - 31
IS - 3
SP - 321
EP - 351
PY - 2019//
DO - 10.1007/S00165-019-00480-5
UR - https://doi.org/10.1007/s00165-019-00480-5
ER -
