Publications
| Authors: | Lavinia Egidi |
| Furio Honsell | |
| Simona Ronchi Della Rocca | |
| Title: | Operational, denotational and logical descriptions: a case study |
| Published on: | Fundam. Inform. Vol. 16 n. 1 |
| Pages: | 149-169 |
| Year: | 1992 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.dblp.org/db/.../fuin/fuin16.html#EgidiHR92 |