Mirco Tribastone (IMT School for Advanced Studies Lucca

Identifiers

• name variant Mirco Tribastone (IMT School for Advanced Studies Lucca 0.60 · backfill

Papers (2)

1. Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems cs.PL · 2016 · author #1
2. Challenges in Quantitative Abstractions for Collective Adaptive Systems cs.SY · 2016 · author #1

Mentions

• 1607.02966 #1 · arxiv_oai · confidence 0.70 Mirco Tribastone (IMT School for Advanced Studies Lucca

Frequent Coauthors

• Italy) 2 shared papers
• Herbert Wiklicky (Imperial College London) 1 shared papers