Model-checking quantum systems : principles and algorithms / Mingsheng Ying, University of Technology, Sydney, Yuan Feng, University of Technology, Sydney

Request this item

Request this item to view in the Library’s reading room.

Loading...