11558 articles  [version française]
.:. Browse > List by subject > Formal Languages and Automata Theory .:.
2 documents ordered by :

fulltext access Verification based on unfoldings of Petri nets with read arcs
Rodríguez C.
École normale supérieure de Cachan - ENS Cachan (12/12/2013), Stefan Schwoon (Dir.) [tel-00927064 - version 2]
STAR - Dépôt national des thèses électroniques
fulltext access Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking
Hugot V.
Université de Franche-Comté (27/09/2013), Olga Kouchnarenko;Pierre-cyrille Heam (Dir.) [tel-00909608 - version 2]
STAR - Dépôt national des thèses électroniques