Showing 1 - 4 results of 4 for search 'Bravetti, Mario', query time: 0.02s Refine Results
  1. 1
    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
    by Bravetti, Mario
    Published 2005
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
  2. 2
    CONCUR 2009 - concurrency theory 20th international conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings /
    Published 2009
    Other Authors: “…Bravetti, Mario…”
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
  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…”
    Click here to view the full text content
    Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Software engineering and formal methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings /
    Published 2013
    Other Authors: “…Bravetti, Mario…”
    Click here to view the full text content
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search