Incremental Bisimulation Abstraction Refinement.

Lei SongLijun ZhangHolger HermannsJens Chr. Godskesen
Published in: ACM Trans. Embed. Comput. Syst. (2014)
Keyphrases