Computer Systems Science and Engineering Journal

Overview
Identity
View All

publication venue for

Modelling and verification of an atomic action protocol implemented in Ada 2001

has subject area

0805 Distributed Computing (FoR)
Information Systems (Science Metrix)