MPG.eBooks - Search Results - "predator"

Search alternatives:
"predator" » "predictor"

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice...

Published 2014

Springer Berlin Heidelberg

Table of Contents: “... Contribution) -- FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution) -- Predator: A...”