Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender ObjekteStefan ConradUitverkocht4,3Volgen
Immersive interaktive Entwicklung projektionsbasierter virtueller UmgebungenStefan ConradUitverkocht4,3Volgen
