Login / Signup

Quasi-dependent variables in hybrid automata.

Sergiy BogomolovChristian HerreraMarco MuñizBernd WestphalAndreas Podelski
Published in: HSCC (2014)
Keyphrases