Fingeraftryk
Dyk ned i forskningsemnerne om 'Incremental Bisimulation Abstraction Refinement'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Jens Christian Godskesen, Lei Song, Lijun Zhang
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review