Items where authors include "Antonino, Pedro"

Up a level
Export as [feed] Atom [feed] RSS
Jump to: Preprint
Number of items: 1.

Preprint

Antonino, Pedro, Sampaio, Augusto and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2022) A Pattern-based deadlock-freedom analysis strategy for concurrent systems. [Preprint]

This list was generated on Sat May 4 04:48:24 2024 BST.