TY  - RPRT
TI  - Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
AU  - Jeroen J. A. Keiren
AU  - Wieger Wesselink
AU  - Tim A. C. Willemse
PY  - 2014
DO  - 10.1007/978-3-319-11936-6_16
UR  - https://arxiv.org/abs/1304.6482
ID  - 1304.6482
ER  -