Treffer 1 - 13 von 13 für Suche 'Donatelli, Susanna', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Chiola, Giovanni
    Veröffentlicht 1990
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    The Ins and Outs of Petri Net Composition
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Transactions on Petri nets and other models of concurrency
    Veröffentlicht 2010
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Application and theory of Petri nets 1999 : 20th international conference, ICATPN '99, Williamsburg, Virginia, USA, June 21 - 25, 1999 ; proceedings
    Veröffentlicht 1999
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Application and theory of Petri nets 1999 : 20th international conference ; proceedings
    Veröffentlicht 1999
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Application and theory of Petri nets 1999 : 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21 - 25, 1999 ; proceedings
    Veröffentlicht 1999
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A CTL* Model Checker for Petri Nets
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Petri nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26 - 30, 2006 ; proceedings
    Veröffentlicht 2006
    Inhaltstext
    Cover
    Inhaltstext
    Table of contents only
    Volltext
    Publisher description
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Application and theory of petri nets and concurrency : 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019 : proceedings
    Veröffentlicht 2019
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Veröffentlicht 2021
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Veröffentlicht 2022
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: