Normal view
MARC view
Ying/Feng (Personal Name)
Machine generated authority record
Work cat.: (OSt)1480553: Ying/Feng, Model Checking Quantum Systems