Javier Esparza profile picture

Javier Esparza

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

Stand Alone

Finite and algorithmic model theory
Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
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