Reference : The Intertwining of Data Types and Processes in LOTOS
Scientific congresses and symposiums : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/2268/33787
The Intertwining of Data Types and Processes in LOTOS
English
Leduc, Guy mailto [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Réseaux informatiques >]
May-1987
Protocol Specification, Testing and Verification, VII
Rudin, Harry
West, Colin
Elsevier Science Publisher (North-Holland)
123-136
Yes
No
International
7th IFIP Int. Conf. on Protocol Specification, Testing and Verification (PSTV)
May 1987
H. Rudin and C. West
Zürich
Switzerland
Researchers
http://hdl.handle.net/2268/33787

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBi are protected by a user license.