Depot Institutionnel de l'UMBB: Browsing DSpace

	À propos de l'application DSpace

	Accueil

Parcourir le dépôt par :
	Communautés et collections
	Issue Date
	Author
	Title
	Subject

Services personnalisés :
	Recevoir les nouveautés
	Espace personnel utilisateurs autorisés
	Modifier mon profil


	À propos de DSpace

Browsing by Author Strecker, M.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 2 of 2

Date de publication	Titre	Auteur(s)
2012	A case study in combining formal verification and model-driven engineering	Djeddai, S.; Mezghiche, Mohamed; Strecker, M.
2013	Logical foundations for reasoning about transformations of knowledge bases	Chaabani, Mohamed; Echahed, R.; Strecker, M.

Showing results 1 to 2 of 2

Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires