| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISSN: 2148-2446 KITopen-ID: 1000173930 |
| Erschienen in | Düzce Üniversitesi Bilim ve Teknoloji Dergisi |
| Verlag | Düzce University |
| Band | 3 |
| Heft | 2 |
| Seiten | 655–662 |
| Vorab online veröffentlicht am | 23.06.2015 |
| Externe Relationen | Abstract/Volltext |