H. Banieqbal

H. B

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987: Proceedings978-O-387-518O3-9
(O-387-518O3-7)
1989H. Barringer

H Bankel