University of Illinois at Urbana-Champaign

Formal semantics of hybrid automata

Saxena, Manasvi; Chen, Xiaohong; Rodrigues, Nishant; Rosu, Grigore

Loading…

Permalink

Description

Owning Collections