Вы здесь

Hirshfeld Y.

Автор:

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