Search alternatives:
technical reviewers » technical reviewer
logical technical » ecological technical, clinical technical, social technical
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... of Linear Temporal Logic -- Symbolic Model Checking with Fewer Fixpoint Computations -- Formula Based...”
Cover Image
Read Now

2
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Archived design steps in temporal logic -- A PVS-based approach for teaching constructing correct...”