About this scholarly article

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Property Checking for 1-Place-Unbounded Petri Nets by Wang, Yunhe; Jiang, Bo; Jiao, Li is a scholarly article available to read on EtoBox.

Author

Wang, Yunhe; Jiang, Bo; Jiao, Li

Publisher

IEEE

Published

2010

Language

EN