المؤلفون: Franceschet, M., de Rijke, M., Schlingloff, B.-H.

المصدر: 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. Temporal representation and reasoning Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings. 10th International Symposium on. :166-173 2003

Relation: Proceedings 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic. TIME-ICTL 2003

المؤلفون: Bin Zhou, Yoneda, T., Schlingloff, B.-H.

المصدر: Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001 (Cat. No.01EX455) Asia-South Pacific design automation conference Design Automation Conference, 2001. Proceedings of the ASP-DAC 2001. Asia and South Pacific. :341-346 2001

Relation: Proceedings of the ASP-DAC 2001. Asia and South Pacific Design Automation Conference 2001

المؤلفون: Kahsai, T., Roggenbach, M., Schlingloff, B.-H.

المصدر: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on. :237-246 Sep, 2007

Relation: Fifth IEEE International Conference on Software Engineering and Formal Methods

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Lackner, H., Schlingloff, B.-H.

المساهمون: Publica

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______610::983e5551dc759b996601784279804b5f
https://publica.fraunhofer.de/handle/publica/249804

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Chai, M., Schlingloff, B.-H.

المساهمون: Publica

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______610::666658200e220ea1f9508e13483e3c11
https://publica.fraunhofer.de/handle/publica/244815

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Weissleder, S., Schlingloff, B.-H.

المصدر: 2008 1st International Conference on Software Testing, Verification & Validation; 2008, p517-520, 4p