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

    9220 Aalborg Ø



Research activity per year

If you made any changes in Pure these will be visible here soon.
Paper without publisher/journal

Search results

  • 2014

    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

    5 Citations (Scopus)