Publications by Zeliha Dilsun Kaynar

Journal Article

Decomposing Verification of Timed I/O Automata

2004 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 3253:84-101
Kaynar DK, Lynch N