Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Maciej Koutny; Lars Michael Kristensen; Wojciech Penczek
    978-3-662-58381-4
    2018
    Edition 1
    • Contains revised and extended versions of a selection of the best workshop papers presented at Petri Nets 2017 and ACSD 2017
    • Covers topics including model checking, system verification, and applications of Petri nets
    • Areas of application include fault-tolerance, databases, business processes, and distributed systems

    €100

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.