Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Explore
Search
Special collections
Statistics
News
Help
Start on ORBi
Deposit
Profile
Publication List
Add your ORCID
Tutorials
Legal Information
Training sessions
About
What's ORBi ?
Impact and visibility
Around ORBi
About statistics
About metrics
OAI-PMH
ORBi team
Release Notes
Back
Home
Detailled Reference
Download
Other (Reports)
A formal definition of time in LOTOS
Leduc, Guy
;
Léonard, Luc
1994
Permalink
https://hdl.handle.net/2268/2429
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
RD-ELOTOS.AnnexG.time.ETLOTOS.pdf
Publisher postprint (275.89 kB)
Download
All documents in ORBi are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Disciplines :
Computer science
Author, co-author :
Leduc, Guy
;
Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Léonard, Luc;
Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques
Language :
English
Title :
A formal definition of time in LOTOS
Publication date :
1994
Publisher :
ISO/IEC
Collection name :
Revised draft on enhancements to LOTOS
Available on ORBi :
since 15 February 2010
Statistics
Number of views
91 (4 by ULiège)
Number of downloads
272 (0 by ULiège)
More statistics
Bibliography
Similar publications
Contact ORBi