Вы здесь

Главная

De Vink E.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verification and Improvement of the Sliding Window Protocol 2003 Chklieav D., Hooman J., De Vink E. Lecture Notes in Computer Science 17.04.2003
СТ Operational Semantics for Coordination in Paradigm 2002 Groenewegen L., De Vink E. Lecture Notes in Computer Science 12.06.2002
СТ Comparative Metric Semantics for Commit in Or-Parallel Logic Programming 1997 Todoran E., Den Hartog J., De Vink E. Logic Programming 05.03.1998
СТ Metric Predicate Transformers: Toward a Notion of Refinement for Concurrency 1995 Bonsangue M. M., Kok J. N., De Vink E. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ Rendez-vous with metric semantics 1991 De Bakker J., De Vink E. Lecture Notes in Computer Science 13.09.1991
СТ CCS for OO and LP 1991 De Bakker J., De Vink E. Lecture Notes in Computer Science 18.05.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods: Proc./22nd International Symposium, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 2018 2018 Lecture Notes in Computer Science
  1. Havelund K.
  2. Peleska J.
  3. Roscoe B.
  4. De Vink E.
 27.09.2018
СБ 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
СБ Transactions on Computational Systems Biology XIV. Special Issue on Computational Models for Cell Processes 2012 Lecture Notes in Bioinformatics
  1. Priami C.
  2. Petre I.
  3. De Vink E.
 19.02.2013
СБ Transactions on Computational Systems Biology XIII 2011 Lecture Notes in Bioinformatics
  1. Priami C.
  2. Back R. -J.
  3. Petre I.
  4. De Vink E.
 24.05.2011