×

Found 2 Documents (Results 1–2)

Small vertex cover makes Petri net coverability and boundedness easier. (English) Zbl 1253.68250

Raman, Venkatesh (ed.) et al., Parameterized and exact computation. 5th international symposium, IPEC 2010, Chennai, India, December 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17492-6/pbk). Lecture Notes in Computer Science 6478, 216-227 (2010).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Author

Year of Publication

Main Field