Towards automatic verification of affine hybrid system stability
Oehlerking, Jens, Burchardt, Henning, Theel, OliverVolume:
2
Language:
english
Journal:
ACM SIGBED Review
DOI:
10.1145/1121788.1121797
Date:
April, 2005
File:
PDF, 80 KB
english, 2005