Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Antti Hyvärinen and First Letter Of Title is L  [Clear All Filters]
2018
Lattice-Based Refinement in Bounded Model Checking, Even-Mendoza, Karine, Asadi Sepideh, Hyvärinen Antti, Chockler Hana, and Sharygina Natasha , VSTTE, 07/2018, (2018)