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