( en | de | ru )

 

Disambiguation of "Bellegarde, Françoise"

Author of the publication

copydeleteadd this publication to your clipboard
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions

, , , and . CoRR, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Françoise Rat

Françoise Dorison

Françoise Rampelberg

Françoise Cartwright

Françoise Krüger

 

Other publications of authors with the same name

Software design for reliability and reuse: a proof-of-concept demonstration., , , , , , , , , and 2 other author(s). TRI-Ada, page 396-404. ACM, (1994)Rewriting Systems on FP Expressions that Reduce the Number of Sequences They Yield.. LISP and Functional Programming, page 63-73. ACM, (1984)Transformation Ordering., and . TAPSOFT, Vol.1, volume 249 of Lecture Notes in Computer Science, page 69-80. Springer, (1987)Type-Driven Defunctionalization., , and . ICFP, page 25-37. ACM, (1997)SIGPLAN Notices 32(8), August 1997.A Transformation System Combining Partial Evaluation with Term Rewriting.. HOA, volume 816 of Lecture Notes in Computer Science, page 40-55. Springer, (1993)Monads, Indexes and Transformations., and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 314-327. Springer, (1993)PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions, , , and . CoRR, (2006)Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions., , and . ZB, volume 2272 of Lecture Notes in Computer Science, page 477-496. Springer, (2002)Convergent term rewriting systems can be used for program transformation.. Programs as Data Objects, volume 217 of Lecture Notes in Computer Science, page 24-41. Springer, (1985)A Matching Process Modulo a Theory of Categorical Products.. ALP, volume 463 of Lecture Notes in Computer Science, page 270-282. Springer, (1990)