Suchergebnisse - Aceto, Luca

  • Treffer 1 – 16 von 16
Treffer filtern
  1. 1
    Buchumschlag

    Reactive systems: modelling, specification and verification
    von Aceto, Luca

    Veröffentlicht 2007
    Online lesen
    E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Reactive systems: modelling, specification and verification
    von Aceto, Luca, Anna Ingólfsdóttir 1952-, Guldstrand Larsen, Kim, Srba, Jiří

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Action refinement in process algebras
    von Aceto, Luca

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Proceedings of the 34th Computational Complexity Conference
    von Aceto, Luca

    Veröffentlicht 2019
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Proceedings of the 35th Computational Complexity Conference
    von Aceto, Luca

    Veröffentlicht 2020
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Reactive systems: modelling, specification and verification
    von Aceto, Luca

    Veröffentlicht 2007
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Turning SOS rules into equations
    von Aceto, Luca, Bloom, Bard, Vaandrager, Frits W.

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Turning SOS rules into equations
    von Aceto, Luca

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    A complete equational axiomatization for MPA with string iteration
    von Aceto, Luca

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Action refinement in process algebras
    von Aceto, Luca

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Action refinement in process algebras
    von Aceto, Luca

    Veröffentlicht 1992
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Foundations of software science and computation structures: 9th international conference ; proceedings

    Veröffentlicht 2006
    Weitere beteiligte Personen: “… Aceto, Luca …”
    Tagungsbericht Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Foundations of software science and computation structures: 9th international conference ; proceedings

    Veröffentlicht 2006
    Weitere beteiligte Personen: “… Aceto, Luca …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    26th International Conference on Concurrency Theory (CONCUR 2015): CONCUR’15, September 1–4, 2015, Madrid, Spain

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Aceto, Luca …”
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  15. 15
    Buchumschlag

    Models, algorithms, logics and tools: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Aceto, Luca …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  16. 16
    Buchumschlag

    Models, algorithms, logics and tools: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Aceto, Luca …”
    Buch


    Gespeichert in:

Suchwerkzeuge: