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