TITLE     : Formal models for cooperative tasks: Concepts and an application for en-route air traffic control
AUTHOR(S) : Paternò F, Santoro C, Tahmassebi S
TYPE      : Conference article
YEAR      : 1998
CODE      : 447056

*** DO NOT EDIT THIS FILE ***