Jonas van Vliet

Identifiers

• name variant Jonas van Vliet 0.60 · backfill

Papers (1)

1. Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata cs.SE · 2011 · author #6

Mentions

• 1106.3961 #6 · backfill · confidence 0.70 Jonas van Vliet

Frequent Coauthors

• Alexandre David 1 shared papers
• Axel Legay 1 shared papers
• Danny B{\o}gsted Poulsen 1 shared papers
• Kim G. Larsen 1 shared papers
• Marius Miku\v{c}ionis 1 shared papers
• Zheng Wang 1 shared papers