Solving Coverability Problems of Petri Nets by Partial Deduction (2000)

Cached

Download Links

by Michael Leuschel , Helko Lehmann
Venue:Proceedings of PPDP’2000
Citations:25 - 17 self