WADT'99, Bert, D. and Choppy, C. eds., Springer.
History Preserving Bisimulation for Contextual Nets
BALDAN, Paolo;
2000-01-01
Abstract
WADT'99, Bert, D. and Choppy, C. eds., Springer.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.