B. Outtaj

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Jean-Pierre Courtiat, Celso A. S. Santos, Christophe Lohr, B. Outtaj
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Comput. Commun. 23 (12) (2000)