Вы здесь
Mukhopadhyay S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Accurate Widenings and Boundedness Properties of Timed Systems | 2001 | Mukhopadhyay S., Podelski A. | Lecture Notes in Computer Science | 06.02.2002 | |||
| СТ | Model Checking Communication Protocols | 2001 | Argon P., Delzano G., Mukhopadhyay S., Podelski A. | Lecture Notes in Computer Science | 08.11.2001 | |||
| СТ | Constraint Database Models Characterizing Timed Bisimilarity | 2001 | Mukhopadhyay S., Podelski A. | Lecture Notes in Computer Science | 05.04.2001 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Verification, Model Checking, and Abstract Interpretation: Proc./4th Intern. Conf., VMCAI 2003, New York, NY, USA, January 2003 | 2003 | Lecture Notes in Computer Science |
|
31.01.2003 |