Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender ObjekteStefan ConradÉpuiséPrévenez-moi
Immersive interaktive Entwicklung projektionsbasierter virtueller UmgebungenStefan ConradÉpuiséPrévenez-moi
