Вы здесь

Главная

Katoen J. -P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ Metric Semantics for True Concurrent Real Time 1998 Baier Ch., Katoen J. -P., Latella D. Lecture Notes in Computer Science 11.08.1998
СТ Code Generation Based on Formal BURS Theory and Heuristic Search 1997 Nymeyer A., Katoen J. -P. Acta Informatica 21.08.1997
СТ Code Generation = A+BURS 1996 Nymeyer A., Katoen J. -P., Westr Y. A., Alblas H. Lecture Notes in Computer Science 21.05.1996
СТ Causal Behaviours and Nets 1995 Katoen J. -P. Lecture Notes in Computer Science 05.07.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ CONCUR 2011 - Concurrency Theory: Proc./22nd International Conference, CONCUR 2011, Aachen,Germany, September 2011 2011 Lecture Notes in Computer Science
  1. Katoen J. -P.
  2. Konig B.
 11.01.2012
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./8th Intern. Conf., TACAS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 2002 Lecture Notes in Computer Science
  1. Katoen J. -P.
  2. Stevens P.
 21.05.2002
СБ Lectures on Formal Methods and Performance Analysis/ First EEF/Euro Summer School on Trends in Computer Science, Berd en Dal,The Netherlands, July 3-7,2000 2001 Lecture Notes in Computer Science
  1. Brinksma E.
  2. Hermanns H.
  3. Katoen J. -P.
 02.11.2001
СБ Formal Methods for Real-Time and Probabilistic Systems: Proc./5th Intern. AMAST Workshop, ARTS 99. Bamberg, Germany, May 1999 1999 Lecture Notes in Computer Science
  1. Katoen J. -P.
 12.06.1999