Centre Fédéré en Vérification
Home Page
Groups
Publications
Information
Seminars
Contact
Login
Home
CFV Publications of
Sznajder, Nathalie
Download this author's CFV publication list:
[BibTeX]
2012
Concurrent Games on VASS with Inhibition
Bérard, B
,
Haddad S
,
Sassolas M
,
Sznajder N
[BibTeX]
2011
Event-clock automata: from theory to practice
Geeraerts, G
,
Raskin J-F
,
Sznajder N
[BibTeX]
2010
Safraless procedures for timed specifications
Di Giampaolo, B
,
Geeraerts G
,
Raskin J-F
,
Sznajder N
[BibTeX]
Upcoming Seminars
Friday 5 June 2020
Games with a parameterized number of players
Nathalie Bertrand
14:00
BigBlueButton (Online)
Thursday 18 June 2020
On the existential fragment of Büchi arithmetic
Christoph Haase
14:00
Zoom (Online)