Вы здесь

Moll R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Specification-Based Approach to Concurrency Analysis 1995 Buy U., Moll R. Automated Software Engineering 10.04.1996
СТ New Results on the Analysis of Concurrent Systems with an Indefinite Number of Processes 1994 Girkar M., Moll R. Lecture Notes in Computer Science 26.08.1994
СТ Vector Sequence Analysis and Full Weak Safety for Concurrent Systems 1993 Girkar M., Moll R. Lecture Notes in Computer Science 16.09.1993