Non-standard semantics of hybrid systems modelers

Albert Benveniste, Timothy Bourke, BenoƮt Caillaud, Marc Pouzet. Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci., 78(3):877-910, 2012. [doi]

Abstract

Abstract is missing.