Philippe Noël

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995

2 Philippe Noël: A Transformation-Based Synthesis of Temporal Specifications. Formal Asp. Comput. 7(6): 587-619 (1995)

1991

1 Philippe Noël: A Method for the Determinisation of Propositional Temporal Formulae. LOPSTR 1991: 276-296

1995
2		Philippe Noël: A Transformation-Based Synthesis of Temporal Specifications. Formal Asp. Comput. 7(6): 587-619 (1995)
1991
1		Philippe Noël: A Method for the Determinisation of Propositional Temporal Formulae. LOPSTR 1991: 276-296