The Intertwining of Data Types and Processes in LOTOS

Leduc, Guy

No full text

Paper published in a book (Scientific congresses and symposiums)

The Intertwining of Data Types and Processes in LOTOS

Leduc, Guy

1987 • In Rudin, Harry; West, Colin (Eds.) Protocol Specification, Testing and Verification, VII

Peer reviewed

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

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

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 :

The Intertwining of Data Types and Processes in LOTOS

Publication date :

May 1987

Event name :

7th IFIP Int. Conf. on Protocol Specification, Testing and Verification (PSTV)

Event organizer :

H. Rudin and C. West

Event place :

Zürich, Switzerland

Event date :

May 1987

Audience :

International

Main work title :

Protocol Specification, Testing and Verification, VII

Editor :

Rudin, Harry

West, Colin ; Université de Liège - ULiège > Département clinique des animaux de production (DCP)

Publisher :

Elsevier Science Publisher (North-Holland)

Pages :

123-136

Peer reviewed :

Peer reviewed

Available on ORBi :

since 24 December 2009

Statistics

Number of views

45 (1 by ULiège)

Number of downloads

0 (0 by ULiège)

More statistics