![](/img/cover-not-exists.png)
[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Object Models with Temporal Constraints
Cimatti, Alessandro, Roveri, Marco, Susi, Angelo, Tonetta, StefanoYear:
2008
Language:
english
DOI:
10.1109/sefm.2008.23
File:
PDF, 385 KB
english, 2008