Вы здесь

Poitrenaud D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Recursive Petri nets 2007 Haddad S., Poitrenaud D. Acta Informatica 19.01.2008
СТ A Symbolic State Space Representation 2004 Thierry-Mieg Y., Ilie J. -M., Poitrenaud D. Lecture Notes in Computer Science Lecture Notes in Computer Science 21.01.2005
СТ Theoretical Aspects of Recursive Petri Nets 1999 Haddad S., Poitrenaud D. Lecture Notes in Computer Science 16.07.1999
СТ Detection of Illegal Behaviors Based on Unfoldings 1999 Couvreur J. -M., Poitrenaud D. Lecture Notes in Computer Science 16.07.1999
СТ An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets 1995 Brgan R., Poitrenaud D. Lecture Notes in Computer Science 05.07.1995