Ioana Boureanu

Identifiers

• name variant Ioana Boureanu 0.50 · backfill

Papers (1)

1. Model Checking ATL* on vCGS cs.LO · 2019 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Catalin Dima 1 shared papers
• Francesco Belardinelli 1 shared papers
• Vadim Malvone 1 shared papers