Treffer 1 – 20 von 31 für Suche 'Esparza, Javier 1964-', Suchdauer: 0,07s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Unfoldings A Partial-Order Approach to Model Checking

    Unfoldings A Partial-Order Approach to Model Checking von Esparza, Javier 1964-, Heljanko, Keijo

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Reachibility in live and safe free-choice Petri nets is NP-complete

    Reachibility in live and safe free-choice Petri nets is NP-complete von Esparza, Javier 1964-

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Checking system properties via integer programming

    Checking system properties via integer programming von Melzer, Stefan, Esparza, Javier 1964-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On the decidability of model checking for several my-calculi and Petri nets

    On the decidability of model checking for several my-calculi and Petri nets von Esparza, Javier 1964-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Handles in Petri nets

    Handles in Petri nets von Esparza, Javier 1964-, Silva, Manuel

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Reduction and synthesis of live and bounded free choice Petri nets

    Reduction and synthesis of live and bounded free choice Petri nets von Esparza, Javier 1964-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Model checking of persistent Petri nets

    Model checking of persistent Petri nets von Best, Eike 1951-, Esparza, Javier 1964-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Automata theory an algorithmic approach

    Automata theory an algorithmic approach von Esparza, Javier 1964-, Blondin, Michael 1968-

    Veröffentlicht 2023
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    An improvement of McMillan's unfolding algorithm

    An improvement of McMillan's unfolding algorithm von Esparza, Javier 1964-, Römer, Stefan, Vogler, Walter

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    The asynchronous committee meeting problem

    The asynchronous committee meeting problem von Esparza, Javier 1964-, Stengel, Bernhard von

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    General refinement and recursion for the box calculus

    General refinement and recursion for the box calculus von Best, Eike 1951-, Devillers, Raymond, Esparza, Javier 1964-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Shortest paths in reachability graphs

    Shortest paths in reachability graphs von Desel, Jörg 1959-, Esparza, Javier 1964-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    A polynomial time algorithm to solve the covering problem for 1-bounded conflict-free Petri nets

    A polynomial time algorithm to solve the covering problem for 1-bounded conflict-free Petri nets von Esparza, Javier 1964-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Synthesis rules for petri nets and how they lead to new results

    Synthesis rules for petri nets and how they lead to new results von Esparza, Javier 1964-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    A polynomial-time algorithm to decide liveness of bounded free choice nets

    A polynomial-time algorithm to decide liveness of bounded free choice nets von Esparza, Javier 1964-, Silva, Manuel

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Automata theory an algorithmic approach

    Automata theory an algorithmic approach von Esparza, Javier 1964-, Blondin, Michael 1968-

    Veröffentlicht 2023
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Free choice Petri nets

    Free choice Petri nets von Desel, Jörg 1959-, Esparza, Javier 1964-

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Model checking LTL using constraint programming

    Model checking LTL using constraint programming von Esparza, Javier 1964-, Melzer, Stephan

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Free choice Petri nets

    Free choice Petri nets von Desel, Jörg 1959-, Esparza, Javier 1964-

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    An effective tableau system for the linear time mu calculus

    An effective tableau system for the linear time mu calculus von Bradfield, Julian 1964-, Esparza, Javier 1964-, Mader, Angelika

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: