Peter Kemper. Reachability Analysis Based on Structured Representations. In Jonathan Billington, Wolfgang Reisig, editors, Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Volume 1091 of Lecture Notes in Computer Science, pages 269-288, Springer, 1996.
@inproceedings{Kemper96, title = {Reachability Analysis Based on Structured Representations}, author = {Peter Kemper}, year = {1996}, tags = {rule-based, analysis}, researchr = {https://researchr.org/publication/Kemper96}, cites = {0}, citedby = {0}, pages = {269-288}, booktitle = {Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings}, editor = {Jonathan Billington and Wolfgang Reisig}, volume = {1091}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61363-3}, }