A Term Rewriting Approach to Analyze High Level Petri Nets Conference

He, Xudong, Zeng, Reng, Liu, Su et al. (2016). A Term Rewriting Approach to Analyze High Level Petri Nets . 109-112. 10.1109/TASE.2016.11

cited authors

  • He, Xudong; Zeng, Reng; Liu, Su; Sun, Zhuo; Bae, Kyungmin

sustainable development goals

authors

date/time interval

  • July 17, 2016 -

publication date

  • January 1, 2016

webpage

keywords

  • Computer Science
  • Computer Science, Software Engineering
  • Science & Technology
  • Technology

Location

  • East China Normal Univ, Shanghai, PEOPLES R CHINA

Digital Object Identifier (DOI)

Conference

  • 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)

publisher

  • IEEE

start page

  • 109

end page

  • 112