Search alternatives:
past » part
Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... by Computing Lower Bounds on the Reachable States -- Bounded Verification of Past LTL -- A Hybrid...”