Personensuche
X
?
Transactions on Petri Nets and Other Models of Concurrency XVI; Lecture Notes in Computer Science ,
5
Practical Distributed Implementation of Very Large Scale Pe..:
, In:
?
2020 IEEE 31st International Conference on Application-specific Systems, Architectures and Processors (ASAP) ,
7
Termination detection for fine-grained message-passing arch..:
, In:
?
2020 IEEE Symposium on Security and Privacy (SP) ,
9
Rigorous engineering for hardware security: Formal modellin..:
, In:
?
2019 29th International Conference on Field Programmable Logic and Applications (FPL) ,
15