Pietro Sala

Identifiers

• name variant Pietro Sala 0.50 · backfill

Papers (1)

1. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison cs.LO · 2017 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Adriano Peron 1 shared papers
• Alberto Molinari 1 shared papers
• Angelo Montanari 1 shared papers
• Laura Bozzelli 1 shared papers