Fingeraftryk
Dyk ned i forskningsemnerne om 'Constraint-based abstraction of a model checker for infinite state systems'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Constraint-based abstraction of a model checker for infinite state systems
Gourinath Banda, John P. Gallagher
Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review