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
doi: 10.1007/978-3-642-32759-9_21
Download from
https://dx.doi.org/10.1007/978...
Dataset . 2012
Provider: Datacite
Springer Berlin Heidelberg
Related research
31 research outcomes, page 1 of 4
31 research outcomes, page 1 of 4
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue