Вы здесь

Lesventes G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П A Simple Graph Construction of Semilinear Reachability Sets of Vector Addition Systems 1989 Lesventes G. INRIA 31.05.1995
СТ 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