Brigitte Pradin-Chezalviel

Publication Activity (10 Years)

Years Active: 1986-2001
Publications (10 Years): 0

Publications

Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette
Reachability and Temporal Conflicts in t-Time Petri Nets. PNPM (2001)
Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle
Scenario durations characterization of t-timed Petri nets using linear logic. PNPM (1999)
Brigitte Pradin-Chezalviel, Michel Diaz
Axioms of Communication Using Temporal Logic with Past. PSTV (1989)
Giorgos Papapanagiotakis, Pierre Azéma, Brigitte Pradin-Chezalviel
On a Prolog Environment for Protocol Analysis. ICDCS (1986)