Books listed by ISBN
>
Springer
> H. Banieqbal
H. Banieqbal
H. B
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987: Proceedings
978-O-387-518O3-9
(O-387-518O3-7)
1989
H. Barringer
H Bankel