Proof Graphs for Parameterised Boolean Equation Systems
| Title | Proof Graphs for Parameterised Boolean Equation Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Cranen, S, Luttik, B, Willemse, TAC |
| Conference Name | CONCUR 2013 – Concurrency Theory |
| Publisher | Springer |
Work Package:
WP2
