Publications by Zeliha Dilsun Kaynar

Chapter

Introduction

2012 • Synthesis Lectures on Computer Science • 1-6
Kaynar DK, Lynch N, Segala R, Vaandrager F

Chapter

Timed Automata

2012 • Synthesis Lectures on Computer Science • 19-51
Kaynar DK, Lynch N, Segala R, Vaandrager F
Displaying 1 - 25 of 28