TY  - GEN
AU  - Byrne, R.
TI  - Formal notation to aid analysis of complex behaviour
KW  - Depósito de Retaguarda
KW  - 0220 - Depósito de Retaguarda
UR  - https://catalogo.ispa.pt/opac/biblioteca/localizacao_doc/dr.htm
ER  -