On Symmetry and Quantification: A New Approach to Verify Distributed Protocols



Издатель
Karem Sakallah (University of Michigan)
https://simons.berkeley.edu/talks/clone-tbd-2
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
Категория
Усилители
Комментариев нет.