Publications

CRST-SEFM08

Summary

A. Cimatti, M. Roveri, A. Susi and S. Tonetta (2008) Object models with temporal constraints. In SEFM.. IEEE Computer Society, pages 249-258.

Bibtex entry

@INPROCEEDINGS { CRST-SEFM08,
    AUTHOR = { A. Cimatti and M. Roveri and A. Susi and S. Tonetta },
    TITLE = { {Object models with temporal constraints} },
    OPTEDITOR = { Antonio Cerone and Stefan Gruner },
    OPTBOOKTITLE = { 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM) },
    BOOKTITLE = { SEFM },
    PUBLISHER = { IEEE Computer Society },
    PAGES = { 249-258 },
    YEAR = { 2008 },
    OPTADDRESS = { Cape Town, South Africa },
}