Showing 1 - 3 results of 3 for search 'Armando, Alessandro', query time: 0.02s Refine Results
  1. 1
    Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings /
    Published 2002
    Other Authors: “…Armando, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers /
    Published 2010
    Other Authors: “…Armando, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
    Published 2008
    Other Authors: “…Armando, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search