Jump to : Contact | BibTex reference | EndNote reference |


Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets. In ATVA, Lecture Notes in Computer Science, Volume 6252, Pages 291-305, 2010.


Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

   Author = {Traonouez, Louis-Marie and Grabiec, Bartosz and Jard, Claude and Lime, Didier and H. Roux, Olivier},
   Title = {Symbolic Unfolding of Parametric Stopwatch Petri Nets},
   BookTitle = {ATVA},
   Volume = {6252},
   Pages = {291--305},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2010}

EndNote Reference [help]

Get EndNote Reference (.ref)