20102017
If you made any changes in Pure these will be visible here soon.

Research Output 2010 2017

  • 4 Conference contribution
  • 2 Article
Filter
Article
2017

Multi-valued simulation and abstraction using lattice operations

Vijzelaar, S. & Fokkink, W. J., 1 Jan 2017, In : ACM Transactions on Embedded Computing Systems. 16, 2, 42.

Research output: Contribution to JournalArticleAcademicpeer-review

2011

Distributed MAP in the SpinJa model checker

Vijzelaar, S. J. J., Verstoep, K., Fokkink, W. J. & Bal, H. E., 2011, In : Electronic Proceedings in Theoretical Computer Science. 72, p. 84-90

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File