Вы здесь

Hirshfeld Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Quantitative Temporal Logic 1999 Hirshfeld Y., Rabinovich A. Lecture Notes in Computer Science 12.11.1999
СТ Decidability Results in Automata and Process Theory 1996 Hirshfeld Y., Moller F. Lecture Notes in Computer Science 30.03.1996
СТ Petri Nets and the Equivalence Problem 1994 Hirshfeld Y. Lecture Notes in Computer Science 25.08.1994
СТ Bisimulation Equivalence is Decidable for Basic Parallel Processes 1993 Christensen S., Hirshfeld Y., Moller F. Lecture Notes in Computer Science 19.10.1993