PIPE+Verifier - A Tool for Analyzing High Level Petri Nets Conference

Liu, Su, He, Xudong. (2015). PIPE+Verifier - A Tool for Analyzing High Level Petri Nets . 10.18293/seke2015-60

cited authors

  • Liu, Su; He, Xudong

authors

publication date

  • July 1, 2015

webpage

Digital Object Identifier (DOI)

Conference

  • The 27th International Conference on Software Engineering and Knowledge Engineering

publisher

  • KSI Research Inc. and Knowledge Systems Institute Graduate School