Incremental Bisimulation Abstraction Refinement

Lei Song, Holger Hermanns, Lijun Zhang

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	A C M Transactions on Embedded Computing Systems
Vol/bind	13
Udgave nummer	4s
ISSN	1539-9087
Status	Udgivet - 2014
Udgivet eksternt	Ja

Citationsformater

@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",

}