Equivalence associée à la relation de conformité "conf" et simplification du testeur canonique en LOTOS

Leduc, Guy

Download

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

1991 • In Rafiq, Omar (Ed.) CFIP'91 Ingénierie des Protocoles

Peer reviewed

Permalink
https://hdl.handle.net/2268/33775

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

CFIP91-final.pdf

Author postprint (266.06 kB)

Download

All documents in ORBi are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

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

56 (0 by ULiège)

Number of downloads

81 (0 by ULiège)

More statistics