by
Clarke, Edmund M. editor.
Format:
Electronic Resources
Excerpt:
-- Symbolic Model Checking in Non-Boolean Domains -- Process Algebra and Model Checking.
View Other Search Results
by
Ciardo, Gianfranco. editor.
Format:
Electronic Resources
Excerpt:
-- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies
View Other Search Results
Limit Search Results
Narrowed by: