Model Checking with Temporal Graphs and Their Derivative.

Binh-Minh Bui-Xuan, Florent Krasnopol, Bruno Monasson, Nathalie Sznajder

Browse the full MFCS paper archive.