Search alternatives:
founding theory » bounding theory, grounding theory, folding theory
bounded theory » grounded theory, bounds theory, bounded theories
blended theory » extended theory, blending theory, leed theory
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Enforcing Resource Bounds via Static Verification of Dynamic Checks -- Asserting Bytecode Safety...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Efficient Verification for a Class of Infinite-State Systems -- Context-Bounded Model Checking of Concurrent...”