Marius Miku\v{c}ionis

Identifiers

• name variant Marius Miku\v{c}ionis 0.60 · backfill

Papers (1)

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

Mentions

• 1106.3961 #4 · backfill · confidence 0.70 Marius Miku\v{c}ionis

Frequent Coauthors

• Alexandre David 1 shared papers
• Axel Legay 1 shared papers
• Danny B{\o}gsted Poulsen 1 shared papers
• Jonas van Vliet 1 shared papers
• Kim G. Larsen 1 shared papers
• Zheng Wang 1 shared papers