Login / Signup

Reachable State Space Generation for Structured Models which Use Functional Transitions.

Afonso SalesBrigitte Plateau
Published in: QEST (2009)
Keyphrases