Dedova A.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	Towards Parametric Verification of Prioritized Time Petri Nets	2009	Dedova A., Virbitskaite I.				Lecture Notes in Computer Science	29.03.2011
СТ	Real arithmetic based verification of prioritized time Perti nets with parameters	2010	Virbitskaite I., Fleischhack H., Dedova A.	Computer Science			Bulletin of the Novosibirsk Computing Center	05.04.2011