Inproceedings,

Automatic abstraction of non-linear systems using change of bases transformations.

.
HSCC, page 143-152. ACM, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews