Finite model building : improvements and comparisons
author
Tammet, Tanel
statement of authorship
Tanel Tammet
source
Proceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 2003
location of publication
[S.l.]
year of publication
2003
pages
p. 81-90
notes
Bibliogr. p. 90
language
inglise