Florent Krasnopol

Identifiers

No identifiers captured yet.

Papers (1)

1. Model checking with temporal graphs and their derivative cs.DS · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Binh-Minh Bui-Xuan 1 shared papers
• Bruno Monasson 1 shared papers
• Nathalie Sznajder 1 shared papers