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

fulltext access Méthodologie de validation des systèmes structurés en couches par réseaux de Petri : application au protocole Transport
Cousin B.
Université Pierre et Marie Curie - Paris VI (09/04/1987), Claude Girault (Dir.) [tel-00864063 - version 1]