DMCA

Author manuscript, published in "Rodin User and Developer Workshop (2009)" A Rodin plugin for quantitative timed models ∗ (2009)

by Joris Rehm , Loria Nancy Université