On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. Cheng, Y., Wang, H., & Cheng, Y. Implementation and Application of Automata, 2006.
bibtex   
@Article{Cheng2006,
author = {Cheng, YP and Wang, HY and Cheng, YR}, 
title = {On-the-Fly Branching Bisimulation Minimization for Compositional Analysis}, 
journal = {Implementation and Application of Automata}, 
volume = {}, 
number = {}, 
pages = {219--229}, 
year = {2006}, 
abstract = {}, 
location = {}, 
keywords = {}}
Downloads: 0