Paper accepted at FACS 2018

The paper “Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting” by Thomas Neele, Tim Willemse and Jan Friso Groote has been accepted for presentation at the International Conference on Formal Analysis of Component Systems (FACS) that will be held in October 2018, in Pohang, Korea.