Bartosz Grabiec

	2010
2		Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux: Symbolic Unfolding of Parametric Stopwatch Petri Nets. ATVA 2010: 291-305
1		Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux: Diagnosis Using Unfoldings of Parametric Time Petri Nets. FORMATS 2010: 137-151

Coauthor Index

1	Claude Jard	[1] [2]
2	Didier Lime	[1] [2]
3	Olivier H. Roux (Olivier Roux)	[1] [2]
4	Louis-Marie Traonouez	[1] [2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page