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

1

Cover Image

Unfoldings A Partial-Order Approach to Model Checking /

by Esparza, Javier., Esparza, Javier., Heljanko, Keijo.
Published 2008

View full text

Electronic eBook

2

Cover Image

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Published 2010

Other Authors: “...Esparza, Javier....”
View full text

Electronic eBook

3

Cover Image

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Other Authors: “...Esparza, Javier....”
View full text

Electronic eBook

4

Cover Image

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /

Published 2014

Other Authors: “...Esparza, Javier....”
View full text

Electronic eBook