Most Popular Books
- Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
- Applications and Theory of Petri Nets 2002
- Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
- Unfoldings: A Partial-Order Approach to Model Checking
- Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Series By Javier Esparza