Christian Queinnec. Une formalisation des systèmes interactifs. RAIRO Informatique théorique, 15(4):303-336, 1981.
Christian Queinnec. Pratique de l'Univac par la voie de l'assembleur. support de cours École Nationale Supérieure des Techniques Avancées IA11, Édition 178, 1981.
Christian Queinnec. OS 1100. support de cours École Nationale Supérieure des Techniques Avancées IA11, Édition 177, 1981.
©
C. Queinnec fecit (2012-02-19)
![[Home page]](../common/queinnec2002.png)