المؤلفون: Leven, Peter^Aff6, Mehler, Tilman^Aff7, Edelkamp, Stefan^Aff7

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Graf, Susanne, editor^Aff4, Mounier, Laurent, editor^Aff5

المصدر: Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004. Proceedings. 2989:39-56

المؤلفون: Mehler, Tilman

الإتاحة: http://data.europeana.eu/aggregation/europeana/2048441/item_NSQDM3FYYVB572O3WZO2Z6DTBDTU6T4I

المؤلفون: Mehler, Tilman, Edelkamp, Stefan

المصدر: In Electronic Notes in Theoretical Computer Science 14 February 2006 149(2):51-69

المؤلفون: 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

المؤلفون: Edelkamp, Stefan, Jabbar, Shahid, Mehler, Tilman

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a62ddad4512d0af0d57f7e8469d8c3e4

المؤلفون: 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

المؤلفون: Edelkamp, Stefan

المساهمون: Jabbar, Shahid, Mehler, Tilman

الإتاحة: http://data.europeana.eu/aggregation/europeana/2048441/item_22MZ7YFIRJRTSN5KZTYFOQI7XKOJTTJ7