JavaScript is disabled for your browser. Some features of this site may not work without it.
| Author: | Walter, Rouven; Küchlin, Wolfgang | |
| Tübinger Autor(en): |
|
|
| Issue year: | 2014-09 | |
| Verlagsangabe: | CEUR Workshop Proceedings | |
| Language: | English | |
| Full text: | urn:nbn:de:0074-1220-3 | |
| ISSN: | 1613-0073 | |
| DDC Classifikation: | 004 - Data processing and computer science | |
| Keywords: | Erfüllbarkeitsproblem | |
| Dokumentart: | ConferenceObject | |
| Show full item record |