Treffer 1 - 20 von 31 für Suche 'Esparza, Javier 1964-', Suchdauer: 0,44s Treffer weiter einschränken
  1. 1
    Automata theory an algorithmic approach

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

    Veröffentlicht 2023
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The asynchronous committee meeting problem

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

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Shortest paths in reachability graphs

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

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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

    Zu den Favoriten
    Gespeichert in:
  6. 6
    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

    Zu den Favoriten
    Gespeichert in:
  7. 7
    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

    Zu den Favoriten
    Gespeichert in:
  8. 8
    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

    Zu den Favoriten
    Gespeichert in:
  9. 9
    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

    Zu den Favoriten
    Gespeichert in:
  10. 10
    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

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Checking system properties via integer programming

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Handles in Petri nets

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Model checking of persistent Petri nets

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

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    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

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Automata theory an algorithmic approach

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

    Veröffentlicht 2023
    kostenfrei
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Free choice Petri nets

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

    Veröffentlicht 2005
    Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  19. 19
    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

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Free choice Petri nets

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

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: