Using generalized mu-automata for local abstraction-refinement.

Tools

Waller, Jan (2008) Using generalized mu-automata for local abstraction-refinement. (Diploma thesis), Kiel University, Kiel, Germany, 77 pp.

[thumbnail of (Diploma Thesis) Using generalized mu-automata for local abstraction refinement.pdf]
Preview
 Text
(Diploma Thesis) Using generalized mu-automata for local abstraction refinement.pdf - Published Version
Download (979kB) | Preview
[thumbnail of (Student Research Project) Generalized mu-automata.pdf]
Preview
 Text
(Student Research Project) Generalized mu-automata.pdf - Supplemental Material
Download (394kB) | Preview

Document Type: Thesis (Diploma thesis)
Keywords: mu-automata
Research affiliation: Kiel University > Software Engineering
Date Deposited: 10 Oct 2012 10:12
Last Modified: 03 Dec 2013 13:37
URI: https://oceanrep.geomar.de/id/eprint/16424

Actions (login required)

View Item View Item