Suggested Topics within your search.
Suggested Topics within your search.
1
Published 2013
Table of Contents: ';
“... of G3i -- Model Checking General Linear Temporal Logic -- Semantically Guided Evolution of SHI ABoxes...”Get full text
Electronic
2
Published 2013
Table of Contents: ';
“... Model Checking of Higher-Order Recursion Schemes -- Model Checking Dynamic Pushdown Networks...”View fulltext via EzAccess
Electronic
3
Published 2013
Table of Contents: ';
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”Get full text
Electronic
4