Graph explorer

Nathalie Sznajder

Nathalie Sznajder contributes to research discovery and scholarly infrastructure.

5 nodes4 linksoverview mapNathalie Sznajder
5 nodes4 links
Nathalie Sznajder5 visible / 5 total nodes / 4 links
AuthorshipAuthorshipAuthorshipAuthorshipANathalie SznajderResearcherWEvent-Clock Automata: F...preprint / 2011WOn the Synthesis of Mob...preprint / 2014WProbabilistic Opacity f...preprint / 2014WReal-Time Synthesis is ...preprint / 2016
PersonSignal 104 links

Nathalie Sznajder

Researcher

Open