• 38 Citations
20152020

Research output per year

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

Research Output

  • 38 Citations
  • 8 Conference contribution
  • 2 Report
  • 2 Article
Filter
Article
2020

Finding compact proofs for infinite-data parameterised Boolean equation systems

Neele, T., Willemse, T. A. C. & Groote, J. F., 1 Mar 2020, In : Science of Computer Programming. 188, 22 p., 102389.

Research output: Contribution to journalArticleAcademicpeer-review

2019

The inconsistent labelling problem of stutter-preserving partial-order reduction

Neele, T., Valmari, A. & Willemse, T. A. C., 22 Oct 2019, In : arXiv. 19 p., 1910.09829v2.

Research output: Contribution to journalArticleAcademic

Open Access
File
4 Downloads (Pure)