JavaScript is disabled for your browser. Some features of this site may not work without it.
| Author: | Diekert, Volker; Kufleitner, Manfred; Reinhardt, Klaus; Walter, Tobias | |
| Tübinger Autor(en): |
|
|
| Published in: | Journal of The Acm (2015), Bd. 62, Article 39 | |
| Verlagsangabe: | Assoc Computing Machinery | |
| Language: | English | |
| Full text: | http://dx.doi.org/10.1145/2808227 | |
| ISSN: | 0004-5411 | |
| DDC Classifikation: | 004 - Data processing and computer science | |
| Dokumentart: | Article | |
| Show full item record |