Publications

DBLP:journals/sosym/CimattiRST11

Summary

Alessandro Cimatti, Marco Roveri, Angelo Susi and Stefano Tonetta (2011) Formalizing requirements with object models and temporal constraints. Software and System Modeling, 10(2):147-160. (url)

Bibtex entry

@ARTICLE { DBLP:journals/sosym/CimattiRST11,
    AUTHOR = { Alessandro Cimatti and Marco Roveri and Angelo Susi and Stefano Tonetta },
    TITLE = { Formalizing requirements with object models and temporal constraints },
    JOURNAL = { Software and System Modeling },
    VOLUME = { 10 },
    NUMBER = { 2 },
    YEAR = { 2011 },
    PAGES = { 147-160 },
    EE = { http://dx.doi.org/10.1007/s10270-009-0130-7 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}