Dimitrios Thanos Name D. Thanos ORCID iD 0000-0002-0719-1036 JavaScript is required to view this content. Thanos D., Coopmans T.J. & Laarman A.W. (2023), Fast equivalence checking of quantum circuits of Clifford gates. André E. & Sun J. (Eds.), Automated technology for verification and analysis. 21st International Symposium, ATVA 2023 24 October 2023 - 27 October 2023. Lecture Notes in Computer Science no. 14216. Cham: Springer. 199-216. 'Refereed' congrespublicatie No relevant ancillary activities Share on Facebook Share by Bluesky Share on LinkedIn Share by WhatsApp Share by Mastodon