![](/img/cover-not-exists.png)
Multi-valued Simulation and Abstraction Using Lattice Operations
Vijzelaar, Stefan, Fokkink, WanVolume:
16
Language:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/3012282
Date:
January, 2017
File:
PDF, 530 KB
english, 2017