Fingeraftryk
Dyk ned i forskningsemnerne om 'Special Section on "Tools and Algorithms for the Construction and Analysis of Systems"'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Kurt Jensen (Redaktør), Andreas Podelski (Redaktør)
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Leder