Browse by Journal

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

Article

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 Tue Mar 28 09:10:21 2017 BST.