• Selma Lagerløfs Vej 300, 1-2-37

    9220 Aalborg Ø

    Denmark

20112022

Research activity per year

Filter
Paper without publisher/journal

Search results

  • Quasi-dependent variables in hybrid automata

    Bogomolov, S., Herrera, C., Muñiz, M., Westphal, B. & Podelski, A., 1 Jan 2014, p. 93-102. 10 p.

    Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

    6 Citations (Scopus)