Вы здесь

Katoen J. -P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Causal Behaviours and Nets 1995 Katoen J. -P. Lecture Notes in Computer Science 05.07.1995
СТ Code Generation = A+BURS 1996 Nymeyer A., Katoen J. -P., Westr Y. A., Alblas H. Lecture Notes in Computer Science 21.05.1996
СТ Code Generation Based on Formal BURS Theory and Heuristic Search 1997 Nymeyer A., Katoen J. -P. Acta Informatica 21.08.1997
СТ Metric Semantics for True Concurrent Real Time 1998 Baier Ch., Katoen J. -P., Latella D. Lecture Notes in Computer Science 11.08.1998
СТ Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains 2001 Hermanns H., Katoen J. -P. Lecture Notes in Computer Science 04.10.2001
СТ Towards Model Checking Stochastic Process Algebra 2000 Hermanns H., Katoen J. -P., Meyer-Kayser J., Siegle M. Lecture Notes in Computer Science 30.11.2000