Transactions on Petri Nets and Other Models of Concurrency VIII, 2013 Transactions on Petri Nets and Other Models of Concurrency Series
Coordonnateurs : Koutny Maciej, van der Aalst Wil M. P., Yakovlev Alex
Contains the best papers selected from the workshops PNSE 2012, CompoNet 2012, LAM 2012, and BioPNN
Topics covered range from model checking and system verification to synthesis
Petri-net-based standards and innovative applications of Petri nets and other models of concurrency are also covered
Date de parution : 08-2013
Ouvrage de 203 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panier