Reference : Relations d'implémentation et transformations autorisées d'une spécification LOTOS
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/33777
Relations d'implémentation et transformations autorisées d'une spécification LOTOS
French
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
1991
Réseaux et Informatique Répartie
1
59-86
No
International
Researchers
http://hdl.handle.net/2268/33777

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
RRIR91.pdfAuthor postprint424.23 kBView/Open

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.