Вы здесь

Mukhopadhyay S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Accurate Widenings and Boundedness Properties of Timed Systems 2001 Mukhopadhyay S., Podelski A. Lecture Notes in Computer Science 06.02.2002
СТ Constraint Database Models Characterizing Timed Bisimilarity 2001 Mukhopadhyay S., Podelski A. Lecture Notes in Computer Science 05.04.2001
СТ Model Checking Communication Protocols 2001 Argon P., Delzano G., Mukhopadhyay S., Podelski A. Lecture Notes in Computer Science 08.11.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
  1. Zuck L. D.
  2. Attie P. C.
  3. Cortesi A.
  4. Mukhopadhyay S.
31.01.2003