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
Dependable software systems engineering [E-Book] /
Other Personal Name(s): “...Esparza, Javier...”

Full text 
Favorites
Saved in:
2
Automata, Languages, and Programming [E-Book] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /
Other Personal Name(s): “...Esparza, Javier....”

Full text 
Favorites
Saved in:
3
Automata, Languages, and Programming [E-Book] : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
Other Personal Name(s): “...Esparza, Javier....”

Full text 
Favorites
Saved in:
4
Finite and Algorithmic Model Theory [E-Book] /
Other Personal Name(s): “...Esparza, Javier....”

Full text 
Favorites
Saved in:
5
Logics and languages for reliability and security / [E-Book]
Other Personal Name(s): “...Esparza, Javier....”

Full text 
Favorites
Saved in:
6
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Other Personal Name(s): “...Esparza, Javier...”

Full text 
Favorites
Saved in:
7
Unfoldings [E-Book] : A Partial-Order Approach to Model Checking /
Other Personal Name(s): “...Esparza, Javier....”

Full text 
Favorites
Saved in:
8
Application and Theory of Petri Nets 2002 [E-Book] : 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings /
Other Personal Name(s): “...Esparza, Javier...”

Full text 
Favorites
Saved in:
9
Free Choice Petri Nets [E-Book] /
Other Personal Name(s): “...Esparza, Javier....”

Full text 
Favorites
Saved in: