Вы здесь

Meyer-Kayser J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards Model Checking Stochastic Process Algebra 2000 Hermanns H., Katoen J. -P., Meyer-Kayser J., Siegle M. Lecture Notes in Computer Science 30.11.2000