Statistics
Publications
1
Citations
46
H-Index
1
Active since
2017
Affiliations
Mitre (United States)(Current)
Z. Dilsun Kaynar is an author at Mitre (United States) specializing in automated reasoning, formal verification, and engineering.
Publications per year
2017–2017
1
1
Task-structured probabilistic I/O automata
Ran Canetti, Ling Cheung, Z. Dilsun Kaynar et al. · Journal of Computer and System Sciences · 2017 · 46 citations · Full text
1–1 of 1