Вы здесь

Tofts C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Compositional Performance Analysis 1997 Tofts C. Lecture Notes in Computer Science 12.04.1997
СТ Analytic and Locally Approximate Solutions to Properties of Probabilistic Processes 1995 Tofts C. Lecture Notes in Computer Science 11.01.1996
П Reactive, Generative, and Stratified Models of Probabilistic Processes 1990 Van Glabbeek R., Smolka S. A., Steffen B., Tofts C. CWI 07.06.1995