Paper published in a book (Scientific congresses and symposiums)
Equivalence associée à la relation de conformité "conf" et simplification du testeur canonique en LOTOS
Leduc, Guy
1991In Rafiq, Omar (Ed.) CFIP'91 Ingénierie des Protocoles
Peer reviewed
 

Files


Full Text
CFIP91-final.pdf
Author postprint (266.06 kB)
Download

All documents in ORBi are protected by a user license.

Send to



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
Language :
English
Title :
Equivalence associée à la relation de conformité "conf" et simplification du testeur canonique en LOTOS
Publication date :
September 1991
Event name :
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'91)
Event organizer :
O. Rafiq
Event place :
Pau, France
Event date :
Sept. 1991
Audience :
International
Main work title :
CFIP'91 Ingénierie des Protocoles
Editor :
Rafiq, Omar
Publisher :
Hermès, Paris, France
Pages :
425-440
Peer reviewed :
Peer reviewed
Available on ORBi :
since 24 December 2009

Statistics


Number of views
47 (0 by ULiège)
Number of downloads
71 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi