Tarek Sadani (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Tarek 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

2 Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379

Selection of 2 from 3 records - Tarek Sadani has 3 coauthors

3		Tarek 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
2		Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat: Mapping RT-LOTOS Specifications into Time Petri Nets. ICFEM 2006: 360-379