Personensuche
X
?
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design ,
1
Modular specification and verification of interprocess comm..:
, In:
?
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design ,
2
Verifying shadow page table algorithms:
, In:
?
Willkürliche Grenzen: das Werk Pierre Bourdieus in interdisziplinärer Anwendung. ,
7
Glokalisierte Körper: Körperkünste und Kulturen in Zeiten d..:
, In:
?
2022 1st IEEE International Conference on Cognitive Aspects of Virtual Reality (CVR) ,
9