Sciweavers

AMAI
2006
Springer

Reasoning on temporal class diagrams: Undecidability results

14 years 15 days ago
Reasoning on temporal class diagrams: Undecidability results
Alessandro Artale
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AMAI
Authors Alessandro Artale
Comments (0)