Abstract Dependency Graphs and Their Application to Model Checking

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)
19 Downloads (Pure)

Fingeraftryk Dyk ned i forskningsemnerne om 'Abstract Dependency Graphs and Their Application to Model Checking'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab