Author Search Results

Javier Esparza

Francisco Javier Esparza Estaun (born 27 April 1964 in Pamplona, Spain) is a Spanish computer scientist. He is a professor at the Technical University of Munich. Provided by Wikipedia

Select result number 1
1

Static Analysis of Deterministic Negotiations

by Esparza, Javier, Muscholl, Anca, Walukiewicz, Igor
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Get access
Get access
Get access
Get access

Conference Object