Treffer 1 – 20 von 36 für Suche 'Esparza, Javier', Suchdauer: 0,08s 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
    Dependable software systems engineering /

    Dependable software systems engineering /

    Veröffentlicht 2016
    Weitere Verfasser: “… Esparza, Javier …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Finite and algorithmic model theory /

    Finite and algorithmic model theory /

    Veröffentlicht 2011
    Weitere Verfasser: “… Esparza, Javier …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Logics and languages for reliability and security /

    Logics and languages for reliability and security /

    Veröffentlicht 2010
    Weitere Verfasser: “… Esparza, Javier …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    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:
  5. 5
    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:
  6. 6
    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:
  7. 7
    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:
  8. 8
    Handles in Petri nets

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    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:
  10. 10
    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:
  11. 11
    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:
  12. 12
    Free choice Petri nets

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

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    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:
  14. 14
    Free choice Petri nets

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    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:
  16. 16
    Decidability of model checking for infinite state concurrent systems

    Decidability of model checking for infinite state concurrent systems von Esparza, Javier 1964-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Operational semantics for the Petri Box Calculus

    Operational semantics for the Petri Box Calculus von Koutny, Maciej, Esparza, Javier 1964-, Best, Eike 1951-

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Model checking using net unfoldings

    Model checking using net unfoldings von Esparza, Javier 1964-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Reachability in reversible free-choice systems

    Reachability in reversible free-choice systems von Desel, Jörg 1959-, Esparza, Javier 1964-

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Minimal deadlocks in free choice nets

    Minimal deadlocks in free choice nets von Esparza, Javier 1964-, Best, Eike 1951-, Silva, Manuel

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: