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 . Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, 10.18293/seke2015-60

cited authors

  • Liu, Su; He, Xudong

authors

publication date

  • July 1, 2015

webpage

published in

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