Transactions on Petri Nets and Other Models of Concurrency IX More Books Like This
Coordination Models and Languages
2019
Coordination Models and Languages
2020
Formal Aspects of Component Software
2014
Coordination Models and Languages
2017
Software Engineering and Formal Methods
2014
Software Technologies: Applications and Foundations
2018
Software Engineering and Formal Methods
2015
Web Services, Formal Methods, and Behavioral Types
2016
Web Services and Formal Methods
2014
Formal Methods for Eternal Networked Software Systems
2011
Fundamentals of Software Engineering
2019
From Software Engineering to Formal Methods and Tools, and Back
2019
Formal Methods and Software Engineering
2018
Software Engineering and Formal Methods
2017
Transactions on Petri Nets and Other Models of Concurrency II
2009