| |
| 1999 | ||
|---|---|---|
| 3 | EE | K. Inan, Hasan Ural: Efficient checking sequences for testing finite state machines. Information & Software Technology 41(11-12): 799-812 (1999) |
| 1993 | ||
| 2 | Hüsnü Yenigün, Esfandiar Haghverdi, S. Bilgen, K. Inan: A recursive process algebra for queues. FORTE 1993: 285-300 | |
| 1992 | ||
| 1 | Esfandiar Haghverdi, K. Inan: Verification by consecutive projections. FORTE 1992: 465-478 | |
| 1 | S. Bilgen | [2] |
| 2 | Esfandiar Haghverdi | [1] [2] |
| 3 | Hasan Ural | [3] |
| 4 | Hüsnü Yenigün | [2] |