Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saintсборник

Статьи, опубликованные в сборнике Экспорт в BibTeX стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam