Toggle navigation
français
English
français
français
English
Connexion
Toggle navigation
Rechercher dans la base
Cette collection
JavaScript is disabled for your browser. Some features of this site may not work without it.
Accueil
Afficher
Cette collection
Par Date de Création
Auteurs
Titres
Sujets
Noms de revue
Toute la base
Centres de recherche & Collections
Par Date de Création
Auteurs
Titres
Sujets
Noms de revue
Mon compte
Connexion
Statistiques
Afficher les statistiques d'usage
Evaluation paramétrée de formules de logique temporelle
Ouvrir
masi.93.76.ps (387.5Kb)
Date
1993
Description
(short paper)
Indexation documentaire
Informatique générale
Subject
Parallélisme
Titre du colloque
5èmes Rencontres du Parallélisme
Date du colloque
05-1993
Ville du colloque
Brest
Pays du colloque
France
URI
https://basepub.dauphine.fr/handle/123456789/5753
Collections
LAMSADE : Publications
Métadonnées
Afficher la notice complète
Auteur
Haddad, Serge
Vernier, Isabelle
Type
Communication / Conférence
