@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 = {}}

{"_id":"iwnFowiDD4yPeB6MM","bibbaseid":"cheng-wang-cheng-ontheflybranchingbisimulationminimizationforcompositionalanalysis-2006","authorIDs":[],"author_short":["Cheng, Y.","Wang, H.","Cheng, Y."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Cheng"],"firstnames":["YP"],"suffixes":[]},{"propositions":[],"lastnames":["Wang"],"firstnames":["HY"],"suffixes":[]},{"propositions":[],"lastnames":["Cheng"],"firstnames":["YR"],"suffixes":[]}],"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":"","bibtex":"@Article{Cheng2006,\nauthor = {Cheng, YP and Wang, HY and Cheng, YR}, \ntitle = {On-the-Fly Branching Bisimulation Minimization for Compositional Analysis}, \njournal = {Implementation and Application of Automata}, \nvolume = {}, \nnumber = {}, \npages = {219--229}, \nyear = {2006}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Cheng, Y.","Wang, H.","Cheng, Y."],"key":"Cheng2006","id":"Cheng2006","bibbaseid":"cheng-wang-cheng-ontheflybranchingbisimulationminimizationforcompositionalanalysis-2006","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.632Z","downloads":0,"keywords":[],"search_terms":["fly","branching","bisimulation","minimization","compositional","analysis","cheng","wang","cheng"],"title":"On-the-Fly Branching Bisimulation Minimization for Compositional Analysis","year":2006,"dataSources":["hEoKh4ygEAWbAZ5iy"]}