Results
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|
|
17.
|
|
|
18.
|
|
|
19.
|
|
|
20.
|
|
|
21.
|
|
|
22.
|
|
|
23.
|
|
|
24.
|
|
|
25.
|
|
|
26.
|
|
|
27.
|
|
|
28.
|
|
|
29.
|
|
|
30.
|
|
|
31.
|
|
|
32.
|
|
|
33.
|
|
|
34.
|
|
|
35.
|
On the length of homing sequences for nondeterministic finite state machines N. G. Kushik, N. V. Yevtushenko by Kushik, Natalia G | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Радиофизический факультет Научные подразделения РФФ. Source: Implementation and Application of Automata : 18th International Conference, CIAA 2013 Halifax, NS, Canada, July 16-19, 2013 : ProceedingsMaterial type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
36.
|
|
|
37.
|
|
|
38.
|
|
|
39.
|
|
|
40.
|
|
|
41.
|
|
|
42.
|
|
|
43.
|
|
|
44.
|
Generating checking sequences for nondeterministic finite state machines A. Petrenko, A. Simao, N. Yevtushenko by Petrenko, Alexandre F | Simao, Adenilso da Silva | Yevtushenko, Nina V | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур. Source: IEEE Fifth International conference on software testing, verification and validation : (ICST 2012), Montreal, Quebec, Canada, 17-21 April 2012Material type: Article; Format:
electronic
available online
; Literary form:
Not fiction
; Audience:
Specialized;
Online access: Click here to access online Availability: No items available :
|
|
45.
|
|