dblp.uni-trier.dewww.uni-trier.de

Tarek Sadani

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EETarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. FORTE 2006: 404-419
2EETarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379
2005
1EETarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. SEFM 2005: 250-260

Coauthor Index

1Marc Boyer [2] [3]
2Jean-Pierre Courtiat [1] [2] [3]
3Pierre de Saqui-Sannes [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)