C. Laneve; G. Zavattaro, Webpi at work, in: Trustworthy Global Computing. Revised Selected Papers, BERLIN, Springer, 2005, 3705, pp. 182 - 194 (atti di: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005) [Contribution to conference proceedings]
Danos, V.; Laneve, Cosimo, Formal Molecular Biology, «THEORETICAL COMPUTER SCIENCE», 2004, 325(1), pp. 69 - 110 [Scientific article]
Fantechi A.; Gnesi S.; Laneve C., Two standards means problems: A case study on formal protocol descriptions, «COMPUTER STANDARDS & INTERFACES», 1989, 9, pp. 11 - 19 [Scientific article]
