LC control no. | no2006109144 |
---|---|
Personal name heading | Bouyer, Patricia, 1976- |
Found in | Formal modeling and analysis of timed systems, 2006: t.p. (Patricia Bouyer) t.p. verso (LSV, CNRS and ENS de Cachan, France) Patricia Bouyer, WWW page, Oct. 13, 2006 CV (b. Oct. 18, 1976) |