Graph explorer

Nathalie Sznajder

Nathalie Sznajder contributes to research discovery and scholarly infrastructure.

4 nodes3 linksoverview previewNathalie Sznajder
4 nodes3 links
Nathalie Sznajder4 visible / 4 total nodes / 3 links
AuthorshipAuthorshipAuthorshipANathalie SznajderResearcherWEvent-Clock Automata: F...preprint / 2011WOn the Synthesis of Mob...preprint / 2014WProbabilistic Opacity f...preprint / 2014
PersonSignal 103 links

Nathalie Sznajder

Researcher

Open