Вы здесь
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 |