Zhenhua Duan
4 published titles
ITL semantics of composite Petri nets.
1 edition
- Newcastle University, Computing Science
- 2011
- Details
Structured object-oriented formal language and method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783319049144
- Springer
- 2014
- Details
Structured object-oriented formal language and method : 4th international workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783319174037
- Springer
- 2015
- Details
Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, revised selected papers
(Contributor)
1 edition
- ISBN: 9783319312194
- Springer
- 2016
- Details
