Transactions on Petri Nets and Other Models of Concurrency XVI المزيد من الكتب المشابهة

Application and Theory of Petri Nets

٢٠١١

Applications and Theory of Petri Nets

٢٠١٠

Formal Techniques for Distributed Systems

٢٠١١

Transactions on Petri Nets and Other Models of Concurrency XIV

٢٠١٩

Computer Aided Verification

٢٠١٠

Web Services and Formal Methods

٢٠١١

Tools and Algorithms for the Construction and Analysis of Systems

٢٠٠٩

Dependable Software Engineering. Theories, Tools, and Applications

٢٠١٧

Model Checking Software

٢٠٠٩

Verification, Model Checking, and Abstract Interpretation

٢٠١١

Dependable Software Engineering: Theories, Tools, and Applications

٢٠١٦

Theoretical Aspects of Computing - ICTAC 2008

٢٠٠٨

Tools and Algorithms for the Construction and Analysis of Systems

٢٠١٩

Transactions on Petri Nets and Other Models of Concurrency XV

٢٠٢١

NASA Formal Methods

٢٠١١