Вы здесь

Главная

Wiklicky H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Measuring the Precision of Abstract Interpretations 2001 Di Pierro A., Wiklicky H. Lecture Notes in Computer Science 23.06.2001
СТ Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model 1998 Di Pierro A., Wiklicky H. Lecture Notes in Computer Science 02.09.1998

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Coordination Models and Languages: Proc./8th International Conference, COORDINATION 2006. Bologna, Italy, June 2006 2006 Lecture Notes in Computer Science
  1. Ciancarini P.
  2. Wiklicky H.
 25.07.2006
СБ Formal Methods for Dynamical Systems: Advanced Lectures/13th International School on Formak Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 2013 2013 Lecture Notes in Computer Science
  1. Bernardo M.
  2. De Vink E.
  3. Di Pierro A.
  4. Wiklicky H.
 26.08.2013
СБ Formal Methods for Quantitative Aspects of Programming Languages: Advanced Lectures/10th International School on FM for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 2010 2010 Lecture Notes in Computer Science
  1. Aldini A.
  2. Bernardo M.
  3. Di Pierro A.
  4. Wiklicky H.
 13.08.2010