Tool paper on mCRL2 accepted at TACAS2019

The paper “The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability” by Olav Bunte, Jan Friso Groote, Jeroen Keiren, Maurice Laveaux, Thomas Neele, Erik de Vink, Wieger Wesselink, Anton Wijs and Tim Willemse has been accepted for publication at TACAS 2019 in Prague, Czech Republic.