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

Wen Su (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous Behaviour in Event-B: A Sketch. ABZ 2012: 349-352
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: ASM and Controller Synthesis. ABZ 2012: 51-64
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu: Continuous ASM, and a Pacemaker Sensing Fragment. ABZ 2012: 65-78
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Banach, Huibiao Zhu, Wen Su, Runlei Huang: Formalising the Continuous/Discrete Modeling Step Refine 2011: 121-138

Selection of 4 from 13 records - Wen Su has 25 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page