Вы здесь
Roux O. H.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Comparison of the Expressiveness of Timed Automata and Time Petri Nets | 2006 | Berard B., Cassez F., Haddad S., Lime D., Roux O. H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 16.03.2006 | ||
СТ | Using Zone Graph Method for Computing the State Space of a Time Petri Net | 2004 | Gardey G., Roux O. H., Roux O. F. | Lecture Notes in Computer Science | 03.06.2004 |
Редактор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СБ | Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018 | 2018 | Lecture Notes in Computer Science |
|
18.06.2018 |