Publications Details

Scalable verification of quantum algorithm circuits

Sarovar, Mohan S.; Proctor, Timothy J.; Seritan, Stefan K.; Nielsen, Erik N.; Rudinger, Kenneth M.; Young, Kevin C.; Blume-Kohout, Robin J.

Abstract not provided.