An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems / De Nicola, R; Fantechi, A; Gnesi, S; Ristori, G. - 575:(1991), pp. 37-47.
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
De Nicola R;
1991
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
