Michel Allemand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1996–2002
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | COMPSAC | A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. | Gwen Salan, Michel Allemand, J. Christian Attiogb |
| 2001 | APSEC | Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. | Gwen Salan, Michel Allemand, J. Christian Attiogb |
| 1996 | DATE | A System for Modelling and Proving Circuits. | Michel Allemand, Solange Coupet-Grimal, Line Jakubiec, Jean-Luc Paillet |