Modelling Distributed Systems 비슷한 책 더 보기
CONCUR 2011 -- Concurrency Theory
2011년
SOFSEM 2009: Theory and Practice of Computer Science
2009년
Reachability Problems
2011년
Automated Technology for Verification and Analysis
2009년
Theoretical Aspects of Computing - ICTAC 2008
2008년
Time for Verification
2010년
Computer Aided Verification
2010년
Foundations of Software Science and Computational Structures
2009년
Transactions on Petri Nets and Other Models of Concurrency XV
2021년
Theoretical Aspects of Computing – ICTAC 2022
2022년
Formal Techniques for Distributed Systems
2011년
Formal Techniques for Distributed Objects, Components, and Systems
2022년
Theoretical Aspects of Computing – ICTAC 2020
2020년
Applications and Theory of Petri Nets
2009년
Computer Aided Verification
2008년