Incremental Bisimulation Abstraction Refinement

Lei Song, Holger Hermanns, Lijun Zhang

Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

Original language	English
Journal	A C M Transactions on Embedded Computing Systems
Volume	13
Issue number	4s
ISSN	1539-9087
Publication status	Published - 2014
Externally published	Yes

Cite this

@article{b44cd3212f2b41b092229c41119febcf,

title = "Incremental Bisimulation Abstraction Refinement",

author = "Lei Song and Holger Hermanns and Lijun Zhang",

year = "2014",

language = "English",

volume = "13",

journal = "A C M Transactions on Embedded Computing Systems",

issn = "1539-9087",

publisher = "Association for Computing Machinery",

number = "4s",

}