Francien Dechesne (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Yanjing Wang, Francien Dechesne: On expressive power and class invariance CoRR abs/0905.4332: (2009)

2 Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125

Selection of 2 from 5 records - Francien Dechesne has 6 coauthors

5		Yanjing Wang, Francien Dechesne: On expressive power and class invariance CoRR abs/0905.4332: (2009)
2		Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125