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