Reasoning on temporal class diagrams: Undecidability results
Alessandro ArtaleVolume:
46
Language:
english
Pages:
24
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/s10472-006-9019-0
Date:
March, 2006
File:
PDF, 456 KB
english, 2006