Bisimulation Minimisations for Boolean Equation Systems. Keiren, J. J. A. & Willemse, T. A. C. Technical Report CSR09-17, Technische Universiteit Eindhoven, 2009.
bibtex   
@techreport{bisimulation_2009report,
  title = {Bisimulation Minimisations for Boolean Equation Systems},
  number = {CSR09-17},
  institution = {Technische Universiteit Eindhoven},
  author = {Keiren, J. J. A. and Willemse, T. A. C.},
  year = {2009}
}

% 2008

Downloads: 0