Symbolic Model Checking in Non-Boolean Domains

Majumdar, Rupak; Raskin, Jean-François

doi:10.1007/978-3-319-10575-8_31

Local TagsRelease HistoryDetailsSummary

Symbolic Model Checking in Non-Boolean Domains

Majumdar, R., & Raskin, J.-F. (2018). Symbolic Model Checking in Non-Boolean Domains. In E. M. Clarke, T. A. Henzinger, H. Veith, & R. Bloem (Eds.), Handbook of Model Checking (pp. 1111-1147). Cham: Springer. doi:10.1007/978-3-319-10575-8_31.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0003-21C9-5 Version Permalink: https://hdl.handle.net/21.11116/0000-0003-21CA-4

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

Creators:
Majumdar, Rupak¹, Author
Raskin, Jean-François², Author

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2018Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Majumdar_Raskin2018
DOI: 10.1007/978-3-319-10575-8_31

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Handbook of Model Checking

Source Genre: Book

Creator(s):
Clarke, Edmund M.¹, Editor
Henzinger, Thomas A.¹, Editor
Veith, Helmut¹, Editor
Bloem, Roderick¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Cham : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1111 - 1147 Identifier: ISBN: 978-3-319-10574-1