%0 Conference Paper %1 conf/rc/NiemannWD14 %A Niemann, Philipp %A Wille, Robert %A Drechsler, Rolf %B RC %D 2014 %E Yamashita, Shigeru %E ichi Minato, Shin %I Springer %K dblp %P 201-215 %T Equivalence Checking in Multi-level Quantum Systems. %U http://dblp.uni-trier.de/db/conf/rc/rc2014.html#NiemannWD14 %V 8507 %@ 978-3-319-08493-0

@inproceedings{conf/rc/NiemannWD14, added-at = {2020-11-24T00:00:00.000+0100}, author = {Niemann, Philipp and Wille, Robert and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2fa60ab121c2b17d5265da00fea7fb5e9/dblp}, booktitle = {RC}, crossref = {conf/rc/2014}, editor = {Yamashita, Shigeru and ichi Minato, Shin}, ee = {https://www.wikidata.org/entity/Q59242274}, interhash = {b3418f41dee2b892a8cb9d11b0060475}, intrahash = {fa60ab121c2b17d5265da00fea7fb5e9}, isbn = {978-3-319-08493-0}, keywords = {dblp}, pages = {201-215}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-25T11:40:30.000+0100}, title = {Equivalence Checking in Multi-level Quantum Systems.}, url = {http://dblp.uni-trier.de/db/conf/rc/rc2014.html#NiemannWD14}, volume = 8507, year = 2014 }