Faconti G, Massink M
Source: Design, Specification and Verification of Interactive Systems '97, pp. 125–141, Granada, E, June 4-6, 1997
Publisher: Springer-Verlag, Berlin/Heidelberg, DEU
@inproceedings{oai:it.cnr:prodotti:190561, title = {Investigating the behaviour of PREMO synchronisable objects}, author = {Faconti G and Massink M}, publisher = {Springer-Verlag, Berlin/Heidelberg, DEU}, booktitle = {Design, Specification and Verification of Interactive Systems '97, pp. 125–141, Granada, E, June 4-6, 1997}, year = {1997} }