Search Results - Czipó, Bence

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers

    Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers by Czipó, Bence, Hajdu, Ákos, Tóth, Tamás, Majzik, István

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers

    Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers by Czipó, Bence, Hajdu, Ákos, Tóth, Tamás, Majzik, István

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: