Search alternatives:
science foundation » science education, science communication
rational science » national science, regional science, traditional science
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- On the Expressiveness of Refinement Settings -- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties...”