Virtual International Authority File


Pinchinat, Sophie, 1964-.... Sudoc [ABES], France ISNI

VIAF ID: 197940703 (Personal)


Open Section Close Section Preferred Forms





Open Section Close SectionWorks

Title Sources
Diagnosis of pushdown systems Sudoc [ABES], France
Distributed cost-optimal planning Sudoc [ABES], France
A framework to analyse synchronous data-flow specifications Sudoc [ABES], France
Implémentabilité de systèmes distribués décrits à l'aide de scénarios. Sudoc [ABES], France
Logical foundations of games with imperfect information : uniform strategies. Sudoc [ABES], France
Logical specifications for Petri nets. Sudoc [ABES], France
Multi-agent games properties. Sudoc [ABES], France
Planification optimale distribuée. Sudoc [ABES], France
Propriétés de jeux multi-agents Sudoc [ABES], France
Semantics of Strategy Logic Sudoc [ABES], France
Spécifique logique de réseaux de Petri Sudoc [ABES], France
Supervision patterns in discrete event systems diagnosis Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (1)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

Open Section Close Section About

Open Section Close Section History of VIAF ID:197940703 (2)