Publications

CRST-SOSYM10

Summary

A. Cimatti, M. Roveri, A. Susi and S. Tonetta (2010) Formalizing requirements with object models and temporal constraints. Journal of Software and Systems Modeling (SoSyM), To appear. DOI 10.1007/s10270-009-0130-7.

Bibtex entry

@ARTICLE { CRST-SOSYM10,
    AUTHOR = { A. Cimatti and M. Roveri and A. Susi and S. Tonetta },
    TITLE = { {Formalizing requirements with object models and temporal constraints} },
    JOURNAL = { Journal of Software and Systems Modeling (SoSyM) },
    YEAR = { 2010 },
    VOLUME = { To appear. DOI 10.1007/s10270-009-0130-7 },
}