@conference {171, title = {Incremental Bisimulation Abstraction Refinement}, booktitle = {Application of Concurrency to System Design (ACSD), 2013 13th International Conference on}, year = {2013}, pages = {11-20}, doi = {10.1109/ACSD.2013.5}, author = {Lei Song and Lijun Zhang and Holger Hermanns and Jens Chr. Godskesen} }