Showing 1 - 5 results of 5 for search 'Bruni, Roberto', query time: 0.02s Refine Results
  1. 1
    Models of Computation
    by Bruni, Roberto, Montanari, Ugo
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings /
    Published 2011
    Other Authors: “…Bruni, Roberto…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /
    Published 2009
    Other Authors: “…Bruni, Roberto…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers /
    Published 2012
    Other Authors: “…Bruni, Roberto…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
    Published 2007
    Other Authors: “…Bruni, Roberto…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search