Bolognesi T, Latella D, Zuppa E
Source: TAPSOFT '91, pp. 217–231, Brighton, 1991
Publisher: Springer-Verlag Berlin, Berlin, DEU
@inproceedings{oai:it.cnr:prodotti:190786, title = {Non-standard interpretations of LOTOS specifications}, author = {Bolognesi T and Latella D and Zuppa E}, publisher = {Springer-Verlag Berlin, Berlin, DEU}, booktitle = {TAPSOFT '91, pp. 217–231, Brighton, 1991}, year = {1991} }