On Manipulating Z-Polyhedra

@inproceedings{Quinton1996OnMZ,
  title={On Manipulating Z-Polyhedra},
  author={Patrice Quinton},
  year={1996}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Verification of control properties in the polyhedral model

  • First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.
  • 2003
VIEW 1 EXCERPT
CITES METHODS

Similar Papers