Valiev M.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	П -universality of some propositional logics of concurrent programs	1991	Valiev M.			INRIA	Informatika 91: Theoretical Computer Science and Methods of Compilation and Program Construction	20.11.1991
СТ	Temporal Verification of Probabilistic Multi-Agent Systems	2008	Dekhtyar M., Dikovsky A., Valiev M.	Lecture Notes in Computer Science			Lecture Notes in Computer Science	15.04.2008