Reference : A formal definition of time in LOTOS

	Document type :	Reports : Other
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/2429

Title :	A formal definition of time in LOTOS
Language :	English
Author, co-author :	Leduc, Guy [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
	Léonard, Luc [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques > > > >]
Publication date :	1994
Publisher :	ISO/IEC
Collection and collection volume :	Revised draft on enhancements to LOTOS
Target :	Researchers
Permalink :	http://hdl.handle.net/2268/2429

There is no file associated with this reference.

All documents in ORBi are protected by a user license.

 

© ULg Library Network |  Feedback |  ORBi legal notices

Dspace v1.5