Showing 1 - 15 results of 15 for search 'Aceto, Luca', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proceedings of the 35th Computational Complexity Conference

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

    Published 2020
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    A complete equational axiomatization for MPA with string iteration

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

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Action refinement in process algebras

    Action refinement in process algebras by Aceto, Luca

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Reactive systems modelling, specification and verification

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

    Published 2007
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Reactive systems modelling, specification and verification

    Reactive systems modelling, specification and verification by Aceto, Luca

    Published 2007
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Action refinement in process algebras

    Action refinement in process algebras by Aceto, Luca

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Action refinement in process algebras

    Action refinement in process algebras by Aceto, Luca

    Published 1992
    Thesis Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Proceedings of the 34th Computational Complexity Conference

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

    Published 2019
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  9. 9
    Turning SOS rules into equations

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

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Turning SOS rules into equations

    Turning SOS rules into equations by Aceto, Luca

    Published 1992
    Book Interlibrary loan Place Request


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

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

    Published 2017
    Other Authors: “…Aceto, Luca…”

    Get full text Get full text
    Electronic eBook


    Saved in:
  12. 12
    Foundations of software science and computation structures 9th international conference ; proceedings

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

    Published 2006
    Other Authors: “…Aceto, Luca…”
    Description
    Conference Proceeding Book Interlibrary loan Place Request


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

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

    Published 2017
    Other Authors: “…Aceto, Luca…”
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Foundations of software science and computation structures 9th international conference ; proceedings

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

    Published 2006
    Other Authors: “…Aceto, Luca…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


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

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

    Published 2015
    Other Authors: “…Aceto, Luca…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: