Centre Fédéré en Vérification

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]