Model Checking Quantum Systems : Principles and Algorithms
Mingsheng Ying
Download Now
Format: eBook (EPUB)
Model Checking Quantum Systems : Principles and Algorithms
Mingsheng Ying
Download Now
Format: eBook (PDF)
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Mingsheng Ying
Download Now
Format: eBook (PDF)