Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings
Date
2009Author
TACAS (Conference) (15th : 2009 : York, England) [Main,author]Kowaleski, Stefan
Philippou, Anna
ETAPS (Conference) (12th : 2009 : York, ,England)
Pages
xvi,-456Google Scholar check
Keyword(s):
Metadata
Show full item recordCollections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Book
Painlevé equations and related topics proceedings of the international conference, Saint Petersburg, Russia, June 17 - 23, 2011
Bruno, Aleksander D.; Batkhin, Alexander B.; Adjabi, Yasin; Andreeva, Tatsyana K.; Artamonov, Dmitry V.; Babich, Mikhail V.; Batkhina, Natalia V.; Bibilo, Yuliya P.; Brezhnev, Yurii V.; Damianou, Pantelis A.; Garifullin, Rustem N.; Golubeva, Valentina A.; Gontsov, Renat R.; Goryuchkina, Irina V.; Gricuk, Evgenii; Gromak, Valerii; Guzzetti, Davide; Iwaki, Kohei; Kazakov, Alexander Ya; Kessi, Arezki; Korotkin, Dmitry; Leksin, Vladimir P.; Martynov, Ivan P.; Novikov, Dmitrii P.; Ohyama, Yousuke; Parusnikova, Anastasia V.; Pronko, Vyacheslav A.; Sasaki, Yoshikatsu; Slavyanov, Sergey Yu; Takemura, Kouichi; Tsegel'nik, Vladimir; Vyugin, Ilya V.; Xenitidis, Pavlos; Zograf, Peter; Meždunarodnyj MatematiÄ eskij Institut Imeni Ä–jlera; International Conference Painlevé Equations and Related Topics (De GruyterDe Gruyter, 2012)
-
Article
55th IEEE Conference on Decision and Control, CDC 2016 [Conference Reports]
Giua, A.; Bullo, F.; Hadjicostis, Christoforos N.; Seatzu, C.; Pasqualetti, F. (2017)
-
Article
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 York, UK, March 22-29, 2009 Proceedings
Kowalewski, S.; Philippou, Anna (2009)