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
@InProceedings{TGJLR10,
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}
}
Get EndNote Reference (.ref)