@dblp

Symmetry Reduction of a Class of Hybrid Systems.

, and . HSCC, volume 2289 of Lecture Notes in Computer Science, page 267-280. Springer, (2002)

Links and resources

Tags