Вы здесь

Misra J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Object Model for Multiprogramming 1998 Misra J. Lecture Notes in Computer Science 14.05.1998
СТ Loosely-Coupled Processes 1991 Misra J. Lecture Notes in Computer Science 13.09.1991
СТ Phase synchroization 1991 Misra J. Information Processing Letters 25.07.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006 2006 Lecture Notes in Computer Science
  1. Misra J.
  2. Nipkow T.
  3. Sekerinski E.
28.09.2006