Books listed by ISBN
>
Springer
> Brent T. Hailpern
Brent T. Hailpern
title
ISBN-13
(ISBN-10)
year of publication
Verifying Concurrent Processes Using Temporal Logic
978-O-387-112O5-3
(O-387-112O5-7)
1982
B. T.
·
B. T. Hailpern
·
Brent Hailpern
·
T.H.
Brent T Huesers