Satisfiability and model checking in team based logics / / Julian-Steffen Muller.
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | Gottingen, [Germany] : : Cuvillier Verlag,, 2014. 2014 |
| Year of Publication: | 2014 |
| Language: | English |
| Online Access: | |
| Physical Description: | 1 online resource (146 pages) :; illustrations (some color), tables, graphs |
| Notes: | "Von der Fakultat fur Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universitat Hannover zur Erlangung des Grades Doktor der Naturwissenschaften Dr. rer. nat." |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Bibliography: | Includes bibliographical references and index. |
|---|---|
| ISBN: | 9783954047598 9783736947597 (ebook) |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Julian-Steffen Muller. |