1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Liyi Li, Le Chang, Rance Cleaveland +2
This paper develops a model of quantum behavior that is intended to support the abstract yet accurate design and functional verification of quantum communication protocols. The wor…