Model Generation Theorem Proving with Finite Interval Constraints
Journal article, 2003
Author
Reiner Hähnle
Chalmers, Department of Computing Science
R. Hasegawa
Y. Shirai
Published in
Information Processing Society of Japan
0387-5806 (ISSN)
Vol. 43Issue 12p. 4059-4067Categorizing
Subject Categories
Computer and Information Science