Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1 Publication
2024 | Submitted | Conference Paper | IST-REx-ID: 17053
N. Froleyks, E. Yu, and A. Biere, “Ternary simulation as abstract interpretation (Work in Progress),” in 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, Kaiserslautern, Germany, pp. 148–151.
View