"Multi-valued Simulation and Abstraction Using Lattice Operations."

Stefan Vijzelaar, Wan J. Fokkink (2017)

Details and statistics

DOI: 10.1145/3012282

access: closed

type: Journal Article

metadata version: 2020-09-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics