Вы здесь

Fredlund L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Framework for Formal Reasoning about Open Distributed Systems 1999 Fredlund L., Gurov D. Lecture Notes in Computer Science 28.12.1999
СТ Toward Parametric Verification of Open Distributed Systems 1998 Dam M., Fredlund L., Gurov D. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
СТ Formalising and Prototyping a Concurrent Object-Based Language 1997 Fredlund L., Koistinen J., Orava F. Lecture Notes in Computer Science 20.02.1997