Showing 1 - 9 results of 9 for search 'Duan, Zhenhua', query time: 0.03s Refine Results
  1. 1
    Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
    Published 2016
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
    Published 2015
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published 2014
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
    Published 2017
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Computing and Combinatorics 25th International Conference, COCOON 2019, Xi'an, China, July 29-31, 2019, Proceedings /
    Published 2019
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Structured Object-Oriented Formal Language and Method 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /
    Published 2018
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
    Published 2019
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
    Published 2017
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings /
    Published 2008
    Other Authors: “…Duan, Zhenhua…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search