Вы здесь

Basten T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ PARS: A Process Algebra with Resources and Schedulers 2004 Mousavi M., Reniers M., Basten T., Chaudron M. Lecture Notes in Computer Science 03.06.2004
СТ Deciding Life-Cycle Inheritance on Petri Nets 2003 Verbeek H.M. W., Basten T. Lecture Notes in Computer Science 23.07.2003
СТ Diagnosing Workflow Processes using Woflan 2001 Verbeek H.M. W., Basten T., Van Der Aalst W.M. P. The Computer J. 17.08.2001
СТ Inheritance of Dynamic Behavior: Development of a Groupware Editor 2001 Basten T., Van Der Aalst W.M. P. Lecture Notes in Computer Science 25.05.2001
СТ Process Algebra in PVS 1999 Basten T., Hooman J. Lecture Notes in Computer Science 08.04.1999
СТ An Algebraic Semantics for Hierarchical P/T Nets 1995 Basten T., Voorhoeve M. Lecture Notes in Computer Science 05.07.1995