Object Models with Temporal Constraints

Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta. Object Models with Temporal Constraints. In Antonio Cerone, Stefan Gruner, editors, Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008. pages 249-258, IEEE Computer Society, 2008. [doi]

@inproceedings{CimattiRST08:0,
  title = {Object Models with Temporal Constraints},
  author = {Alessandro Cimatti and Marco Roveri and Angelo Susi and Stefano Tonetta},
  year = {2008},
  doi = {10.1109/SEFM.2008.23},
  url = {http://dx.doi.org/10.1109/SEFM.2008.23},
  tags = {meta-model, constraints, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CimattiRST08%3A0},
  cites = {0},
  citedby = {0},
  pages = {249-258},
  booktitle = {Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008},
  editor = {Antonio Cerone and Stefan Gruner},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3437-4},
}