Not registered as user yet
Name:Jordan Torf
Affiliation:UIC
Contributions
VMCAI 2018 | P5: Planner-less Proofs of Probabilistic Parameterized Protocols | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile
Not registered as user yet
Contributions
VMCAI 2018 | P5: Planner-less Proofs of Probabilistic Parameterized Protocols | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |