Search for persons
X
?
Proceedings of the 2024 SIGCOMM Workshop on Formal Methods Aided Network Operation ,
1
Heracles: A Novel State-based Distributed Verification Fram..:
, In:
?
Proceedings of the 8th Asia-Pacific Workshop on Networking ,
2
Rethinking DNS Configuration Verification with a Distribute..:
, In:
?
Lecture Notes in Mechanical Engineering; Proceedings of the 2nd International Conference on Advanced Surface Enhancement (INCASE 2021) ,
3
Effectiveness of Cold Spray Coating on Cast Iron to Prevent..:
, In:
?
Web and Big Data; Lecture Notes in Computer Science ,
4