( en | de | ru )

 

Disambiguation of "Berendsen, Jasper"

Author of the publication

copydeleteadd this publication to your clipboard
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.

, , and . QEST, page 311-322. IEEE Computer Society, (2006)

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.

Gerhard Berendsen

Jakob Berendsen

Ida Berendsen

Bernd Berendsen

Berend-Tüge Berendsen

 

Other publications of authors with the same name

Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata., , and . TAMC, volume 5532 of Lecture Notes in Computer Science, page 128-137. Springer, (2009)The axiomatization of override and update., , , and . J. Appl. Log., 8 (1): 141-150 (2010)Compositional Abstraction in Real-Time Model Checking., and . FORMATS, volume 5215 of Lecture Notes in Computer Science, page 233-249. Springer, (2008)Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata., , and . QEST, page 311-322. IEEE Computer Society, (2006)Fortuna: Model Checking Priced Probabilistic Timed Automata., , and . QEST, page 273-281. IEEE Computer Society, (2010)Formal specification and analysis of zeroconf using uppaalS., , , and . ACM Trans. Embed. Comput. Syst., 10 (3): 34:1-34:32 (2011)