« i Compositional Analysis of Expected Delay in Networks of Automata F 49620-96-1-0087 Final Report

AFRL-SR-BL-TR-01Public reporting burden for this collection of information is estimated to average 1 hour per response, includi gathering and maintaining the data needed, and completing and reviewing the collection of information. Sen collection of information, including suggestions for reducing this burden, to Washington Headquarters Servio Davis Highway, Suite 1204, Arlington, VA 22202-4302, and to the Office of Management and Bujjget, Pape__ o-i^u ces, this rson

[1]  Scott A. Smolka,et al.  Compositional analysis of expected delays in networks of probabilistic I/O automata , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).