Вы здесь

Главная

state space

Связанные издания:

Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./24th International Conference, TACAS 2018 Held as Part of Europea Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessalonoki, Greece, April 2018
Transactions on Petri Nets and Other Models of Concurrency XIII
Verification and Evaluation of Computer and Communication Systems: Proc./12th International Conference, VECoS 2018, Grenoble, France, September 2018