Pages that link to "Item:Q2011199"

The following pages link to A modular framework for verifying versatile distributed systems (Q2011199):

Displaying 2 items.

• A modular framework for verifying versatile distributed systems (Q2011199) (← links)
• Preface to the special issue on formal approaches to parallel and distributed systems 2018 (Q2210865) (← links)