?
2007 European Conference on Lasers and Electro-Optics and the International Quantum Electronics Conference ,
1
Record-Low Thermal Resistance, 12.5 Gbit/s Capable Flip-Chi..:
, In:
?
Prüfung von Papier, Pappe, Zellstoff und Holzstoff ,
2
Prüfung der Füllstoffe und Streichpigmente:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
3
Contract Automata: A Specification Language for Mode-Based ..:
, In:
?
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing ,
4
Quantifying Software Correctness by Combining Architecture ..:
, In:
?
10 Minuten Soziologie; 10 Minuten Soziologie: Gewalt ,
6
Policy-Cycle: Der politische Kampf gegen häusliche Gewalt:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
9
Verify This: Memcached—A Practical Long-Term Challenge for ..:
, In:
?
2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) ,
10
Static Capability-Based Security for Smart Contracts:
, In:
?
?
Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance ,
14