1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Linearization inparallel pCRL Jan Friso GrooteAlban PonseYaroslav S. Usenko2001 год

Linearization in parallel pCRL
статья из журнала

Полный текстСтраница публикацииПубликация в OpenAlex
Год издания: 2001
Авторы: Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko
Издательство: Elsevier BV
Источник: The Journal of Logic and Algebraic Programming
Ключевые слова: Formal Methods in Verification, Logic, programming, and type systems, Model-Driven Software Engineering Techniques
Другие ссылки: The Journal of Logic and Algebraic Programming (HTML)
CWI's Institutional Repository (Centrum Wiskunde & Informatica) (PDF)
CWI's Institutional Repository (Centrum Wiskunde & Informatica) (HTML)
CWI's Institutional Repository (Centrum Wiskunde & Informatica) (PDF)
CWI's Institutional Repository (Centrum Wiskunde & Informatica) (HTML)