On the existence of compositional barrier certificates

Christoffer Sloth^*, Rafael Wisniewski, George J. Pappas

^*Kontaktforfatter

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Sorter
Vægt
Alfabetisk

Teknik og materialevidenskab