Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux. Diagnosis Using Unfoldings of Parametric Time Petri Nets. In FORMATS, Lecture Notes in Computer Science, Volume 6246, Pages 137-151, 2010.
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{GTJLR10,
Author = {Grabiec, Bartosz and Traonouez, Louis-Marie and Jard, Claude and Lime, Didier and H. Roux, Olivier},
Title = {Diagnosis Using Unfoldings of Parametric Time Petri Nets},
BookTitle = {FORMATS},
Volume = {6246},
Pages = {137--151},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer},
Year = {2010}
}
Get EndNote Reference (.ref)