Search Results - Aceto, Luca

  • Showing 1 - 1 results of 1
Refine Results
  1. 1

    Reactive systems modelling, specification and verification

    Published 2007
    Other Authors: “…Aceto, Luca…”
    Click Here to View Status and Holdings.
    Book