Incremental Bisimulation Abstraction Refinement

Lei Song, Holger Hermanns, Lijun Zhang

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftA C M Transactions on Embedded Computing Systems
Vol/bind13
Udgave nummer4s
ISSN1539-9087
StatusUdgivet - 2014
Udgivet eksterntJa

Citationsformater