Transactions on Petri Nets and Other Models of Concurrency XIV المزيد من الكتب المشابهة
Application and Theory of Petri Nets and Concurrency
٢٠١٨
Transactions on Petri Nets and Other Models of Concurrency XI
٢٠١٦
Application and Theory of Petri Nets and Concurrency
٢٠١٧
Transactions on Petri Nets and Other Models of Concurrency XII
٢٠١٧
Tools and Algorithms for the Construction and Analysis of Systems
٢٠١٦
Transactions on Petri Nets and Other Models of Concurrency X
٢٠١٥
Tools and Algorithms for the Construction and Analysis of Systems
٢٠١٩
Automated Technology for Verification and Analysis
٢٠١٥
Models, Algorithms, Logics and Tools
٢٠١٧
Perspectives of System Informatics
٢٠١٦
Dependable Software Engineering. Theories, Tools, and Applications
٢٠١٧
Formal Techniques for Distributed Objects, Components, and Systems
٢٠١٩
Automated Technology for Verification and Analysis
٢٠١٩
Automated Technology for Verification and Analysis
٢٠١٦
NASA Formal Methods
٢٠١٨