Treffer: Using a formal description technique to model aspects of a global air traffic telecommunications network

Using a formal description technique to model aspects of a global air traffic telecommunications network
Formal description techniques for distributed systems and communication protocols, (FORTE X) and Protocol specification, testing and verification (PSTV XVII)

Andrews, J. H., Day, N. A., Joyce, J. J.

:417-432

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN031988768&indx=1&recIds=ETOCCN031988768

British Library Document Supply Centre Inside Serials & Conference Proceedings