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 Tue Jun 22 19:14:27 2021 BST.