Вы здесь

Nicollin X.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Approach to the Description and Analysis of Hybrid Systems 1993 Nicollin X., Olivero A., Sifakis J., Yovine S. Lecture Notes in Computer Science 09.12.1993
СТ An Overview and Synthesis on Timed Process Algebras 1992 Nicollin X., Sifakis J. Lecture Notes in Computer Science 08.08.1992
СТ From ATP to Timed Graphs and Hybrid Systems 1992 Nicollin X., Sifakis J., Yovine S. Lecture Notes in Computer Science 08.08.1992