Metadaten| Author: | David SabelORCiDGND, Manfred Schmidt-SchaußORCiDGND |
|---|
| URN: | urn:nbn:de:hebis:30:3-344382 |
|---|
| URL: | http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-39-v4.pdf |
|---|
| Parent Title (English): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 39 |
|---|
| Series (Serial Number): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (39 [v.4]) |
|---|
| Publisher: | Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik |
|---|
| Place of publication: | Frankfurt am Main |
|---|
| Document Type: | Working Paper |
|---|
| Language: | English |
|---|
| Date of Publication (online): | 2011/01/26 |
|---|
| Date of first Publication: | 2011/01/26 |
|---|
| Publishing Institution: | Universitätsbibliothek Johann Christian Senckenberg |
|---|
| Release Date: | 2014/07/08 |
|---|
| Tag: | Logics; Semantics; Verification |
|---|
| GND Keyword: | Formale Semantik; Logik; Verifikation |
|---|
| Issue: | Version: 26 Jan. 2011 |
|---|
| Page Number: | 54 |
|---|
| Last Page: | 54 |
|---|
| HeBIS-PPN: | 344379817 |
|---|
| Institutes: | Informatik und Mathematik / Informatik |
|---|
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
|---|
| Sammlungen: | Universitätspublikationen |
|---|
| Licence (German): |  Deutsches Urheberrecht |
|---|
Deutsches Urheberrecht