Logical and Operational Methods in the Analysis of Programs and Systems | Flemming Nielson, et al.
| | Type | Misc [Other] | | Journal/Book/Conference | Proceedings of the Fifth LOMAPS Workshop | | Editors | M. Dam | | Year | 1997 pp. 1-21 | | Publisher | Springer-Verlag | | Series | LNCS no. 1192 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|