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 |
Incremental Bisimulation Abstraction Refinement
Lei Song, Holger Hermanns, Lijun Zhang
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review