%0 Conference Paper %1 conf/tase/HeZLSB16 %A He, Xudong %A Zeng, Reng %A Liu, Su %A Sun, Zhuo %A Bae, Kyungmin %B TASE %D 2016 %I IEEE Computer Society %K dblp %P 109-112 %T A Term Rewriting Approach to Analyze High Level Petri Nets. %U http://dblp.uni-trier.de/db/conf/tase/tase2016.html#HeZLSB16 %@ 978-1-5090-1764-5

@inproceedings{conf/tase/HeZLSB16, added-at = {2023-03-24T00:00:00.000+0100}, author = {He, Xudong and Zeng, Reng and Liu, Su and Sun, Zhuo and Bae, Kyungmin}, biburl = {https://www.bibsonomy.org/bibtex/2cf81042a2e11cbf569775a06cf8c0f10/dblp}, booktitle = {TASE}, crossref = {conf/tase/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/TASE.2016.11}, interhash = {15b29001b2e89a2d7245539d93811e29}, intrahash = {cf81042a2e11cbf569775a06cf8c0f10}, isbn = {978-1-5090-1764-5}, keywords = {dblp}, pages = {109-112}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T10:19:57.000+0200}, title = {A Term Rewriting Approach to Analyze High Level Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2016.html#HeZLSB16}, year = 2016 }