Staples memberships could save you more | Learn More
Transactions on Petri Nets and Other Models of Concurrency V by Kurt Jensen et al. contain revised versions of workshops from the 31st International Conference ToPNoC. It includes model checking, system verification, and more.
|Author Name||Kurt Jensen, Susanna Donatelli & Jetty Kleijn|