Mario Paludetto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1997–2001
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ISORC | Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L. | Franois Taani, Mario Paludetto, Jrme Delatour |
| 1997 | APSEC | About the Suitability of Petri Nets for Describing, Validating and Evaluating SA-RT Specifications. | Adel Benzina, Mario Paludetto, Jrme Delatour |