title
  

Creator/Author/Editor: İnan, Kemal

Warning The system is temporarily closed to updates for reporting purpose.

2014

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) The relation between preset distinguishing sequences and synchronizing sequences. Formal Aspects of Computing, 26 (6). pp. 1153-1167. ISSN 0934-5043 (Print) 1433-299X (Online)

Güniçen, Canan and İnan, Kemal and Türker, Uraz Cengiz and Yenigün, Hüsnü (2014) An improved upper bound for the length of preset distinguishing sequences of distinguished merging finite state machines. In: 29th International Symposium on Computer and Information Sciences (ISCIS 2014), Krakow, Poland

1999

İnan, Kemal and Ural, H. (1999) Efficient checking sequences for testing finite state machines. Information and Software Technology, 41 (11-12). pp. 799-812. ISSN 0950-5849

This list was generated on Sun Sep 19 05:08:36 2021 +03.