Search alternatives:
"space models" » "trade models", "care models"
"group model" » "group madei"
"trace model" » "trace models", "trade model", "grace model"
"rate models" » "trade models", "state models", "role models"
"space models" » "trade models", "care models"
"group model" » "group madei"
"trace model" » "trace models", "trade model", "grace model"
"rate models" » "trade models", "state models", "role models"
1
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “....3 Evaluation -- 5 Conclusion -- References -- Bounded Model Checking for Hyperproperties -- 1 Introduction -- 2...”
Click to View
