• Using Formal Methods in the De...

Treffer: Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems

Title:
Using Formal Methods in the Development of Protocols for Multi-User Multimedia Systems
Formal description techniques
Authors:
Kleuker, S.
Source:
FORMAL DESCRIPTION TECHNIQUES -INTERNATIONAL CONFERENCE-. CONF 9:113-128
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN018762653&indx=1&recIds=ETOCCN018762653
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings