PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lime, Didier"

Author of the publication

copydeleteadd this publication to your clipboard
UPPAAL-Tiga: Time for Playing Games!

, , , , , and . CAV, volume 4590 of Lecture Notes in Computer Science, page 121-125. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Lime, Didier
add a person with the name Lime, Didier
 

Other publications of authors with the same name

Probabilistic Time Petri Nets., , , and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 261-280. Springer, (2016)The EPOC Project - Energy Proportional and Opportunistic Computing System., , , , , , , , , and 7 other author(s). SMARTGREENS, page 388-394. SciTePress, (2015)Blending Timed Formal Models with Clock Transition Systems., , and . Fundam. Inform., 129 (1-2): 85-100 (2014)Shrinking of Time Petri nets., , and . Discrete Event Dynamic Systems, 23 (4): 419-438 (2013)Liveness in L/U-Parametric Timed Automata., and . ACSD, page 9-18. IEEE Computer Society, (2017)Optimal Reachability in Cost Time Petri Nets., , , , and . FORMATS, volume 10419 of Lecture Notes in Computer Science, page 58-73. Springer, (2017)Efficient On-the-Fly Algorithms for the Analysis of Timed Games., , , , and . CONCUR, volume 3653 of Lecture Notes in Computer Science, page 66-80. Springer, (2005)Parameter Synthesis for Parametric Interval Markov Chains., , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 372-390. Springer, (2016)State class timed automaton of a time Petri net., and . PNPM, page 124-133. IEEE, (2003)Control and synthesis of non-interferent timed systems., , , and . Int. J. Control, 88 (2): 217-236 (2015)