Infinite-data PBES Quotienting with the mCRL2 toolset

Thomas Neele (Contributor)
Tim A.C. Willemse (Contributor)
Jan Friso Groote (Contributor)

Dataset

1 Conference contribution
1 Article

2 results

2020
Finding compact proofs for infinite-data parameterised Boolean equation systems
Neele, T. (Corresponding author), Willemse, T. A. C. & Groote, J. F., 1 Mar 2020, In: Science of Computer Programming. 188, 22 p., 102389.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
4 Citations (Scopus)

83 Downloads (Pure)
2018
Solving parameterised boolean equation systems with infinite data through quotienting
Neele, T., Willemse, T. A. C. & Groote, J. F., 5 Oct 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Berlin: Springer, p. 216-236 21 p. (Lecture Notes in Computer Science; vol. 11222).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
7 Citations (Scopus)

2 Downloads (Pure)