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

1 results

Filter

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)