« Publikationen
Analiz rasširennych NCES-setej na osnove metoda model checking
Dubinin, V. N. ; Hanisch, Hans-Michael ; Vjatkin, V. V. ; Šestakov, S. K.
Novye informacionnye technologii i sistemy ; 2. - Penza, S. 20-48, 2010
Bibliographie: Konferenz/Aufsatz
Weitere Publikationen der Autoren