Details for the publication Song0HG14.

Lei Song, Lijun Zhang, Holger Hermanns (), Jens Chr. Godskesen: Incremental Bisimulation Abstraction Refinement. In ACM Trans. Embed. Comput. Syst. 13(4s):142:1-142:23, 2014. DOI BIB