Lecture Lecture Notes in Computer Science : Computer aided systems theory – EUROCAST 2015. -- Vol. 9520 (2015). -- Springer. -- vyšlo súčasne s ISBN 978-3-319-27339-6. -- ISSN : 0302-9743. In: Lecture Notes in Computer Science. -- ISSN 0302-9743.