Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime, Olivier H. Roux. Diagnosis Using Unfoldings of Parametric Time Petri Nets. In Krishnendu Chatterjee, Thomas A. Henzinger, editors, Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings. Volume 6246 of Lecture Notes in Computer Science, pages 137-151, Springer, 2010. [doi]
Abstract is missing.