research data . Dataset . 2012

A Verification Toolkit for Numerical Transition Systems

Hojjat, Hossein; Konečný, Filip; Garnier, Florent; Iosif, Radu; Kuncak, Viktor; Rümmer, Philipp;
  • Published: 01 Jan 1970
  • Publisher: Springer Berlin Heidelberg