Orthogonal Polyhedra: Representation and Computation

This publication has 6 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• Reachability analysis via face lifting
  Published by Springer Nature ,1998
• Orthogonal polyhedra as geometric bounds in constructive solid geometry
  Published by Association for Computing Machinery (ACM) ,1997
• Verifying safety properties of differential equations
  Published by Springer Nature ,1996
• Analysis of digital circuits through symbolic reduction
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1991
• An Introduction to Convex Polytopes
  Published by Springer Nature ,1983