Metadata
Author: Literature
Data
English[en]
These finite-state protocols, as they are sometimes called, can be verified algorithmically.
Italian[it]
Questi protocolli a stati finiti, come vengono a volte chiamati, possono essere verificate algoritmicamente.