Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1007024
Image document

On the Complexity of Adding Convergence

Alex Klinkhamer , Ali Ebnenasir
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.17-33, ⟨10.1007/978-3-642-40213-5_2⟩
Conference papers hal-01514662v1
Image document

Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes

Alex P. Klinkhamer , Ali Ebnenasir
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.100-115, ⟨10.1007/978-3-319-68972-2_7⟩
Conference papers hal-01760852v1