Kousha Etessami

Kousha Etessami

University of Edinburgh
E-mail megerősítve itt: inf.ed.ac.uk
Idézetek száma: 5122
algorithms and complexity algorithmic game theory analysis of probabilistic systems automated verification logic