You are here

Home ›

Publications

Filters: Author is Tim A. C. Willemse  [Clear All Filters]
2013
S. Cranen, B. Luttik, and T. A. C. Willemse, “Proof Graphs for Parameterised Boolean Equation Systems”, in CONCUR 2013 – Concurrency Theory, 2013, vol. 8052, p. 470-484.

   

                              

Powered by Drupal