Multi-valued simulation and abstraction using lattice operations

Stefan Vijzelaar, W.J. Fokkink

Research output: Contribution to JournalArticleAcademicpeer-review

33 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Multi-valued simulation and abstraction using lattice operations'. Together they form a unique fingerprint.

Computer Science