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

Rym Salem

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

2000
4EEPaul Caspi, Rym Salem: Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT 2000: 70-81
1999
3 Rym Salem, Khaled Bsaïes: Unfold/Fold Inductive Proof: An Extension of a Folding Technique. IEA/AIE 1999: 612-621
2EEPaul Caspi, Christine Mazuet, Rym Salem, Daniel Weber: Formal Design of Distributed Control Systems with Lustre. SAFECOMP 1999: 396-409
1997
1 Rym Salem, Khaled Bsaïes: Mechanizing Proofs by Unfolding, Folding and Simplification. RelMiCS 1997: 133-142

Coauthor Index

1Khaled Bsaïes [1] [3]
2Paul Caspi [2] [4]
3Christine Mazuet [2]
4Daniel Weber [2]

Colors in the list of coauthors

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