Verifying Communicating Agents by Model Checking in a Temporal Action Logic.
Laura Giordano
- Fonction : Auteur
Alberto Martelli
- Fonction : Auteur
Camilla Schwind
- Fonction : Auteur
- PersonId : 839973
Format du dépôt | Notice |
---|---|
Type de dépôt | Communication dans un congrès |
Titre |
en
Verifying Communicating Agents by Model Checking in a Temporal Action Logic.
|
Auteur(s) |
Laura Giordano
, Alberto Martelli
, Camilla Schwind
1
1
MAP -
Modèles et simulation pour l'architecture, l'urbanisme et le paysage
( 516 )
- France
|
Vulgarisation |
Non
|
Comité de lecture |
Oui
|
Actes |
Oui
|
Invité |
Non
|
Langue du document |
Anglais
|
Titre de l'ouvrage |
LNCS
|
Audience |
Non spécifiée
|
Date de publication |
2004
|
Page/Identifiant |
57-69
|
Titre du congrès |
9th European Conference, JELIA 2004
|
Date début congrès |
2004
|
Pays |
Portugal
|
Domaine(s) |
|
Mots-clés |
it
Artificial Intelligence
|
DOI | 10.1007/b100483 |
Loading...