B. Outtaj

List of publications from the DBLP Bibliography Server - FAQ

2000

1 EE Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications 23(12): 1104-1123 (2000)

2000
1	EE	Jean-Pierre Courtiat, C. A. S. Santos, Christophe Lohr, B. Outtaj: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications 23(12): 1104-1123 (2000)

Coauthor Index

1	Jean-Pierre Courtiat	[1]
2	Christophe Lohr	[1]
3	Celso Alberto Saibel Santos (C. A. S. Santos)	[1]