Edinburgh Research Explorer

Theoretical and practical aspects of verification of quantum computers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Theoretical and practical aspects of verification of quantum computers. / Naveh, Yehuda; Kashefi, E.; Wootton, James R.; Bertels, Koen.

2018 Design, Automation Test in Europe Conference Exhibition (DATE). Institute of Electrical and Electronics Engineers (IEEE), 2018. p. 721-730.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Naveh, Y, Kashefi, E, Wootton, JR & Bertels, K 2018, Theoretical and practical aspects of verification of quantum computers. in 2018 Design, Automation Test in Europe Conference Exhibition (DATE). Institute of Electrical and Electronics Engineers (IEEE), pp. 721-730, 21st Design, Automation and Test in Europe , Dresden, Germany, 19/03/18. https://doi.org/10.23919/DATE.2018.8342103

APA

Naveh, Y., Kashefi, E., Wootton, J. R., & Bertels, K. (2018). Theoretical and practical aspects of verification of quantum computers. In 2018 Design, Automation Test in Europe Conference Exhibition (DATE) (pp. 721-730). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.23919/DATE.2018.8342103

Vancouver

Naveh Y, Kashefi E, Wootton JR, Bertels K. Theoretical and practical aspects of verification of quantum computers. In 2018 Design, Automation Test in Europe Conference Exhibition (DATE). Institute of Electrical and Electronics Engineers (IEEE). 2018. p. 721-730 https://doi.org/10.23919/DATE.2018.8342103

Author

Naveh, Yehuda ; Kashefi, E. ; Wootton, James R. ; Bertels, Koen. / Theoretical and practical aspects of verification of quantum computers. 2018 Design, Automation Test in Europe Conference Exhibition (DATE). Institute of Electrical and Electronics Engineers (IEEE), 2018. pp. 721-730