Вы здесь

Engberg U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Linear Logic on Petri Nets 1994 Engberg U., Winskel G. Lecture Notes in Computer Science 05.08.1994
СТ Completeness Results for Linear Logic on Petri Nets 1993 Engberg U., Winskel G. Lecture Notes in Computer Science 20.10.1993
СТ Mechanical Verification of Concurrent Systems with TLA 1993 Engberg U., Gronning P., Lamport L. Lecture Notes in Computer Science 07.05.1993