Complete Abstractions and Subclassical Modal Logics Conference Proceeding

Overview

CU Boulder Authors

• Sousa, Marcelo C

publication date

• January 15, 2017

Date in CU Experts

• February 13, 2025 1:34 AM

Full Author List

• D'Silva V; Sousa M

Full Editor List

• Bouajjani A; Monniaux D

author count

• 2

citation count

• 0

published in

• Lecture Notes in Artificial Intelligence  Journal

presented at event

• 18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)  Conference

Other Profiles

International Standard Serial Number (ISSN)

• 0302-9743

Electronic International Standard Serial Number (EISSN)

• 1611-3349

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-319-52234-0_10

International Standard Book Number (ISBN) 13

• 978-3-319-52233-3

Additional Document Info

start page

• 169

end page

• 186

volume

• 10145