Вы здесь

Mukund M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Checking Consistency of SDL+MSC Specifications 2003 D Souza D., Mukund M. Lecture Notes in Computer Science 29.05.2003
СТ Linear Time Temporal Logics over Mazurkiewicz Traces 1996 Mukund M., Thiagarajan P. S. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
СТ Determinizing Buchi Asynchronous Automata 1995 Klarlund N., Mukund M., Sohoni M. Lecture Notes in Computer Science 31.01.1996
СТ Determinizing Asynchronous Automata 1994 Klarlund N., Mukund M., Sohoni M. Lecture Notes in Computer Science 09.08.1994
СТ CCS, Locations and Asynchronous Transition Systems 1992 Mukund M., Nielsen M. Lecture Notes in Computer Science 28.12.1992