Searching for "Reasoning over Networks by Symbolic Methods." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Reasoning over Networks by Symbolic Methods
- …Reasoning over Networks by Symbolic Methods Thomas Sturm Universitat Passau, D-94030 Passau…
- Cited by 3 (3 self) – Add To MetaCart
-
Applications of Real First-Order Constraint Solving Bibliography
- … in Simulation, 42(4-6):629-- 638, 1996. [54] Thomas Sturm. Reasoning over networks by symbolic methods…
- Cited by 2 (2 self) – Add To MetaCart
-
EXISTS([w, z, a], [[-2,2], [-2,2], [0, \infty]],
- …. Mathematics and Computers in Simulation, 42(4-6):629--638, 1996. [68] T. Sturm. Reasoning over networks…
- Add To MetaCart
Showing 1 through 3.
