Вы здесь

Kristensen L. M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks 2004 Kristensen L. M., Jensen K. Lecture Notes in Computer Science Lecture Notes in Computer Science 26.11.2004
СТ Finding Stubborn Sets of Coloured Petri Nets Without Unfolding 1998 Kristensen L. M., Valmari A. Lecture Notes in Computer Science 04.07.1998
СТ Design/CPN - A Computer Tool for Coloured Petri Nets 1997 Christensen S., Jorgensen J. B., Kristensen L. M. Lecture Notes in Computer Science 12.04.1997

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Applications and Theory of Petri Nets: Proc./32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 2011 2011 Lecture Notes in Computer Science
  1. Kristensen L. M.
  2. Petrucci L.
30.08.2011