Вы здесь

Главная

Baier Ch.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness 2006 Baier Ch., Bertrand N., Schnoebelen Ph. Lecture Notes in Computer Science Lecture Notes in Computer Science 11.01.2007
СТ Metric Semantics for True Concurrent Real Time 1998 Baier Ch., Katoen J. -P., Latella D. Lecture Notes in Computer Science 11.08.1998
СТ Metric Semantic from Partial Order Semantics 1997 Baier Ch., Majster-Cederbaum M. E. Acta Informatica 21.10.1997
СТ The Connection between an Event Structure Semantics and an Operational Semantics for TCSP 1994 Baier Ch., Majster-Cederbaum M. E. Acta Informatica 10.03.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Techniques for Distributed Objects, Components, and Systems: Proc./38th IFIP WG 6.1 International Conference, FORTE 2018 Held as Part of the 13th International Federated Conference, DisCoTec 2018, Madrid, Spain, June 2018 2018 Lecture Notes in Computer Science
  1. Baier Ch.
  2. Caires L.
 21.06.2018
СБ Foundations of Software Science, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 2018 2018 Lecture Notes in Computer Science
  1. Baier Ch.
  2. Dal_Lago U.
 15.05.2018
СБ Tools and Algorithms for the Construction and Analysis of Systems: Proc./21st International Conference, TACAS 2015 Held as Part of the European Joint Conferences ETAPS 2015, London, UK, April 2015 2015 Lecture Notes in Computer Science
  1. Baier Ch.
  2. Tinelli C.
 15.10.2015
СБ CONCUR 2006 - Concurrency Theory: Proc./17th International Conference, CONCUR 2006. Bonn, Germany, August 2006 2006 Lecture Notes in Computer Science
  1. Baier Ch.
  2. Hermanns H.
 28.09.2006
СБ Validation of Stochastic Systems. A Guide to Current Research 2004 Lecture Notes in Computer Science
  1. Baier Ch.
  2. Haverkort B. R.
  3. Hermanns H.
  4. Katoen J. -P.
 03.09.2004