-
1كتاب إلكتروني
المؤلفون: Leven, PeterAff6, Mehler, TilmanAff7, Edelkamp, StefanAff7
المساهمون: Goos, Gerhard, editorAff1, Hartmanis, Juris, editorAff2, van Leeuwen, Jan, editorAff3, Graf, Susanne, editorAff4, Mounier, Laurent, editorAff5
المصدر: Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings. 2989:39-56
-
2
-
3دورية أكاديمية
المؤلفون: Mehler, Tilman, Edelkamp, Stefan
المصدر: In Electronic Notes in Theoretical Computer Science 14 February 2006 149(2):51-69
-
4
المؤلفون: Mehler, Tilman
المساهمون: Edelkamp, Stefan, Morik, Katharina
مصطلحات موضوعية: State space reduction, Software model checking, Heuristic search
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8f9f85dfd6bfd3733409abab8fe527c0
-
5
-
6
المؤلفون: Bützken, Miriam, Edelkamp, Stefan, Elalaoui, Abdelaziz, Kahl, Kenneth, Karmouni, Rachid, Klinger, Roman, Lahiane, Khalid, Matuszewski, Andrea, Mehler, Tilman, Nazih, Mohammed, Nelskamp, Michael, Wiggers, Arne
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2294::8b7f8921efd7ada32b5c31d27a8e531e
https://pub.uni-bielefeld.de/record/2603376 -
7
المؤلفون: Edelkamp, Stefan
المساهمون: Jabbar, Shahid, Mehler, Tilman
الإتاحة: http://data.europeana.eu/aggregation/europeana/2048441/item_22MZ7YFIRJRTSN5KZTYFOQI7XKOJTTJ7