Adrian Farmadin

Identifiers

No identifiers captured yet.

Papers (1)

1. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• \v{L}ubo\v{s} Koren\v{c}iak 1 shared papers
• Vojt\v{e}ch \v{R}eh\'ak 1 shared papers