Sign in
Join Literal
Authors
Author
Behnam Banieqbal
Books
Temporal Logic in Specification
Howard Barringer, Behnam Banieqbal, Amir Pnueli