Showing 1 - 1 results of 1 for search 'co-advisor: S. Mover', query time: 0.04s Refine Results
  1. 1
    An SMT-based framework for the formal analysis of Switched Multi-Domain Kirchhoff Networks
    by Sessa, Mirko
    Published 2019
    Other Authors: “...co-advisor: S. Mover...”
    Get full text
    Doctoral Thesis
Search Tools: Get RSS Feed — Email this Search