Transactions on Petri Nets and Other Models of Concurrency XVI by Maciej Koutny
112,00 €
By Maciej Koutny, Fabrice Kordon, Daniel Moldt. - Distributed Synthesis of Asynchronously Communicating Distributed Process Models. - Using Approximation for the Verification of Token-Scaling Models.
Jetzt bei Ebay: