Author Results for (Behnam), 1960-

(Behnam),
Banieqbal,B.
Barringer,Howard,
Colloquium on Temporal Logic in Specification
Pnueli,A.

1
Temporal logic in specification Altrincham, UK, April 8-10, 1987 : proceedings

Cover is for reference only
Corporate Authors: Colloquium on Temporal Logic in Specification (1987 Altrincham, England) (Altrincham, England))
Group Author: Banieqbal B.; (Behnam), 1960-; Barringer Howard, 1951-; Pnueli A.
Published: Springer-Verlag,
Publication Dates: c1989.
Call Number: TP302.2-53/T288/1987/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —