Author Results for Barringer Howard 1951-

Barringer,Howard,
(Behnam),
Banieqbal,B.
Barringer,Howard
Colloquium on Temporal Logic in Specification
see all »
Pnueli,A.
RV 2010,San Giljan, Malta)
SpringerLink (Online service)
edited by Howard Barringer ... [et al.]

1
Advances in temporal logic

Cover is for reference only
Group Author: Barringer Howard 1951-
Published: Kluwer Academic Publishers,
Publication Dates: c2000.
Call Number: TP301.6-1/A244/1997
Book
Save to List
Saved in:
3
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 —