Вы здесь

Yankelevich D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Yeast: A case study for a practical use of formal methods 1993 Inverardi P., Krishnamurthy B., Yankelevich D. Lecture Notes in Computer Science 26.05.1993
СТ Read-Write Causality 1994 Priami C., Yankelevich D. Lecture Notes in Computer Science 30.09.1994
СТ On the Operational Semantics of a Coordination Language 1995 Ciancarini P., Jensen K. K., Yankelevich D. Lecture Notes in Computer Science Object-Based Models and Languages for Concurrent Systems 30.08.1995
СТ Optimality in Abstractions of Model Checking 1995 Cleaveland R., Iyer P., Yankelevich D. Lecture Notes in Computer Science Static Analysis 16.11.1995
СТ Efficient Minimization up to Location Equivalence 1996 Montanari U., Pistore M., Yankelevich D. Lecture Notes in Computer Science 18.05.1996