Showing 1 - 5 results of 5 for search 'Bravetti, Mario', query time: 0.02s Refine Results
  1. 1
    Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /
    Published 2011
    Other Authors: “…Bravetti, Mario…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
    Published 2009
    Other Authors: “…Bravetti, Mario…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings /
    Published 2006
    Other Authors: “…Bravetti, Mario…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings /
    Published 2005
    Other Authors: “…Bravetti, Mario…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Published 2013
    Other Authors: “…Bravetti, Mario…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search