10974 articles  [version française]
.:. Browse > List by subject > Formal Languages and Automata Theory .:.
1 document

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