Login / Signup

Programming with Infinitesimals: A While-Language for Hybrid System Modeling.

Kohei SuenagaIchiro Hasuo
Published in: ICALP (2) (2011)
Keyphrases