Вы здесь
Minea M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Specifying and Verifying Partial Order Properties Using Template MSCs | 2004 | Genest B., Minea M., Muscholl A., Peled D. | Lecture Notes in Computer Science | 30.04.2004 | |||
| СТ | Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems | 1995 | Campos S., Clarke E., Marrero W., Minea M. | SIGPLAN Notices | 25.12.1995 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods: Foundations and Applications: Proc./24th Brazilian Symposium, Virtual Event, December 2021 | 2021 | Lecture Notes in Computer Science |
|
14.01.2022 |