Browse by Journal

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.


Björnsson, Jóhann, Giesl, Peter and Hafstein, Sigurður (2014) Algorithmic verification of approximations to complete Lyapunov functions. Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems (MTNS), Groningen, The Netherlands, 0180. pp. 1181-1188.

This list was generated on Sun Dec 5 08:58:59 2021 GMT.