« Publikationen
Sie verwenden einen sehr veralteten Browser und können Funktionen dieser Seite nur sehr eingeschränkt nutzen. Bitte aktualisieren Sie Ihren Browser. http://www.browser-update.org/de/update.html
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