Incremental Bisimulation Abstraction Refinement

Jens Christian Godskesen, Lei Song, Lijun Zhang

Publikation: Artikel i tidsskrift og konference artikel i tidsskriftKonferenceartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Incremental Bisimulation Abstraction Refinement'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science