Personensuche
X
?
Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation ,
5
A Pragmatic Approach to Stateful Partial Order Reduction:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
7
Quorum Tree Abstractions of Consensus Protocols:
, In:
?
2023 7th International Symposium on Innovative Approaches in Smart Technologies (ISAS) ,
8
New Generation Server Management System: LİMAN:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
10