Model Checking with Abstraction Refinement for Well-structured Systems

Dimitrova, Rayna

Local TagsRelease HistoryDetailsSummary

Model Checking with Abstraction Refinement for Well-structured Systems

Dimitrova, R. (2006). Model Checking with Abstraction Refinement for Well-structured Systems. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-218F-8 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-5A66-F

Genre: Thesis

Files

show Files

Locators

show

hide

Locator:
http://scidok.sulb.uni-saarland.de/doku/urheberrecht.php?la=de (Copyright transfer agreement) Open Access status unknown

Description:
-

OA-Status:

Locator:
http://scidok.sulb.uni-saarland.de/volltexte/2007/1333/ (Any fulltext) Open Access status unknown

Description:
-

OA-Status:

Creators

show

hide

Creators:
Dimitrova, Rayna¹, Author
Podelski, Andreas², Advisor
Finkbeiner, Bernd³, Referee

Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551
2Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
3External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2006Published Online: 2007Date issued: 2006

Publication Status: Issued

Pages: 93 p.

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 314388
BibTex Citekey: DimitrovaPhd2006
Other: Local-ID: C1256104005ECAFC-E98933E3DE9BBA00C12572350035E8C3-Dimitrova2006
URN: urn:nbn:de:bsz:291-scidok-13339

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show