Вы здесь

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

Редактор: