Image Computation for Quantum Transition Systems.

Xin Hong, Dingchao Gao, Sanjiang Li, Shenggang Ying, Mingsheng Ying

Browse the full DATE paper archive.