QTC-Maude

2023

1. SEKE

   Symbolic Model Checking Quantum Circuits in Maude

   Canh Minh Do, and Kazuhiro Ogata

   In 35th International Conference on Software Engineering and Knowledge Engineering, SEKE 2023, Sep 2023

   DOI Bib

   @inproceedings{CanhSeke23,
     author = {Minh Do, Canh and Ogata, Kazuhiro},
     editor = {Chang, Shi{-}Kuo},
     title = {Symbolic Model Checking Quantum Circuits in Maude},
     booktitle = {35th International Conference on Software Engineering and Knowledge
                       Engineering, {SEKE} 2023},
     pages = {103--108},
     publisher = {{KSI} Research Inc.},
     year = {2023},
     timestamp = {Wed, 06 Sep 2023 16:44:32 +0200},
     biburl = {https://dblp.org/rec/conf/seke/Do023.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }