Vijay S. Iyengar, Barry K. Rosen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Vijay S. Iyengar, Barry K. Rosen, et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Bowen Alpern, Roger Hoover, et al.
SODA 1990
Hartmut Ehrig, Hans-Jörg Kreowski, et al.
Mathematical Systems Theory