Reference : A formal definition of time in LOTOS
Reports : Other
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/2429
A formal definition of time in LOTOS
English
Leduc, Guy mailto [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 > > > >]
1994
ISO/IEC
Revised draft on enhancements to LOTOS
Researchers
http://hdl.handle.net/2268/2429

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.