AboutSign inJoin

Javier Esparza

About

Francisco Javier Esparza Estaun is a Computer Scientist. He is a professor at the Technische Universität München.

Books

Free Choice Petri Nets
Free Choice Petri Nets
Javier Esparza, Jorg Desel
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Javier Esparza, Yu-Fang Chen, Chih-Hong Cheng
Application and Theory of Petri Nets 2002
Application and Theory of Petri Nets 2002
Javier Esparza, Charles Lakos
Unfoldings
Unfoldings
Javier Esparza, Keijo Heljanko
Free Choice Petri Nets
Free Choice Petri Nets
Javier Esparza, Jorg Desel
Automata, Languages, and Programming
Automata, Languages, and Programming
Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
Automata, Languages, and Programming
Automata, Languages, and Programming
Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
Foundations of Software Science and Computation Structures
Foundations of Software Science and Computation Structures
Javier Esparza, Andrzej S. Murawski
Logics and Languages for Reliability and Security
Logics and Languages for Reliability and Security
Javier Esparza, Bernd Spanfelner

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian