On Discrete Modeling and Model Checking for Nonlinear Analog Systems.

Walter Hartong, Lars Hedrich, Erich Barke

Browse the full CAV paper archive.