Fingeraftryk
Dyk ned i forskningsemnerne om 'Constraint-based abstract semantics for temporal logic: A direct approach to design and implementation'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
Constraint-based abstract semantics for temporal logic: A direct approach to design and implementation
Gourinath Banda*, John P. Gallagher
*Kontaktforfatter
Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review