- ECU Libraries Catalog

Start Over

You searched for: author_facet Esparza, Javier

Showing 1 - 7 of 7 results

Search Results

Cover image for Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings

by Chen, Yu-Fang
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

by Esparza, Javier
2017
Format: Electronic

Location
Access Content Online

Cover image for 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 I

by Esparza, Javier
2014
Format: Electronic

Location
Access Content Online

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

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

by Esparza, Javier
2014
Format: Electronic

Location
Access Content Online

Cover image for Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems

by TACAS 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for Unfoldings

Unfoldings

by Esparza, Javier
2008
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.V47 E8 2008	✔ Available

Cover image for Free choice Petri nets

Free choice Petri nets

by Desel, Jörg
1995
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA267 .D465 1995	✔ Available