Filters: Author is Gerd Behrmann [Clear All Filters]
“UPPAAL - Now, Next, and Future”, in Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000, vol. 2067, Springer, 2001, pp. 99-124. paper-203.pdf (444.91 KB)
,