Behnam Banieqbal

B. B.

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings978-3-54O-518O3-7
(3-54O-518O3-7)
2008Howard Barringer · Amir Pnueli

Behnam Bohluli DMD