Lesventes G.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
СТ	HMSCs as Partial Specifications ... with PNs as Completions	2001	Caillaud B., Darondeau P., Helouet L., Lesventes G.				Lecture Notes in Computer Science	04.11.2001
П	A Simple Graph Construction of Semilinear Reachability Sets of Vector Addition Systems	1989	Lesventes G.			INRIA		31.05.1995