Coverability of reset Petri nets and other well-structured transition systems by partial deduction (2000)

Cached

Download Links

by Michael Leuschel , Helko Lehmann
Venue:Proceedings of the International Conference on Computational Logic (CL’2000), LNAI 1861
Citations:26 - 13 self