Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender ObjekteStefan ConradAgotadoNotifícame
Immersive interaktive Entwicklung projektionsbasierter virtueller UmgebungenStefan ConradAgotadoNotifícame
