Вы здесь

Pang J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Verification of Hybrid Systems with Large Discrete State Space 2006 Damm W., Disch S., Hungar H., Pang J., Pigorsch F., Scholl Ch., Waldmann U., Wirtz B. Lecture Notes in Computer Science Lecture Notes in Computer Science 11.01.2007
СТ Is Timed Branching Bisimilarity an Equivalence Indeed? 2006 Fokkink W., Pang J., Wijs A. Lecture Notes in Computer Science Lecture Notes in Computer Science 16.03.2006