Showing 1 - 4 results of 4 for search 'Esparza, Javier', query time: 0.02s Refine Results
  1. 1
    Unfoldings A Partial-Order Approach to Model Checking /
    by Esparza, Javier
    Published in Springer eBooks (2008)
    Get full text
    eBook
  2. 2
    Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings /
    by Esparza, Javier
    Published 2006
    Get full text
    eBook
  3. 3
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /
    Published in Springer eBooks (2014)
    Other Authors: “...Esparza, Javier...”
    Get full text
    eBook
  4. 4
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
    Published in Springer eBooks (2014)
    Other Authors: “...Esparza, Javier...”
    Get full text
    eBook
Search Tools: Get RSS Feed