Javier Esparza profile picture

Javier Esparza

Is this your author profile? Create an account to claim and customize it!

Finite and Algorithmic Model Theory
Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Automata, Languages, and Programming
Dependable Software Systems Engineering
Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Automata Theory An Algorithmic Approach
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 Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Finite and Algorithmic Model Theory
Unfoldings A Partial-Order Approach to Model Checking
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings

See All