Treffer 1 - 20 von 29 für Suche 'Aceto, Luca', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Veröffentlicht 2007
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Action refinement in process algebras
    von Aceto, Luca
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Veröffentlicht 2008
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    von Aceto, Luca
    Veröffentlicht 1991
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Veröffentlicht 2013
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Veröffentlicht 2008
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Action refinement in process algebras
    von Aceto, Luca
    Veröffentlicht 1992
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Reactive systems : modelling, specification and verification
    Veröffentlicht 2007
    Inhaltsverzeichnis
    Inhaltstext
    Contributor biographical information
    Publisher description
    Table of contents only
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Introducing Formal Methods to First-Year Students in Three Intensive Weeks
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Veröffentlicht 2004
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    von Aceto, Luca
    Veröffentlicht 1997
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Automata, languages and programming : 35th international colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008; proceedings/ Luca Aceto ... (eds.)
    Veröffentlicht 2008
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Veröffentlicht 2013
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    von Aceto, Luca
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Veröffentlicht 2017-2019
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    On Bidirectional Runtime Enforcement
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Monitoring Hyperproperties with Circuits
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Automata, languages and programming : 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011; proceedings
    Veröffentlicht 2011
    Inhaltstext
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Reactive systems : modelling, specification and verification
    von Aceto, Luca
    Veröffentlicht 2007
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: