Вы здесь

Главная

Yakovlev A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Algebraic specifications for dataflow computations design 2000 Votintseva A., Yakovlev A. Russian Academy of Science, Siberian Division Joint Bull. of NCC and IIS 06.03.2001
СТ Deriving Petri Nets from Finite Transition Systems 1998 Cortadella J., Kishinevsky M., Lavagno L., Yakovlev A. IEEE Trans. on Computers 05.11.1998

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Transactions on Petri Nets and Other Models of Concurrency VIII 2013 Lecture Notes in Computer Science
  1. Koutny M.
  2. Van Der Aalst W.M. P.
  3. Yakovlev A.
 07.10.2013
СБ Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: Revised Selected Papers/22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 2012 2013 Lecture Notes in Computer Science
  1. Ayala J. L.
  2. Shang D.
  3. Yakovlev A.
 23.04.2013
СБ Petri Nets and Other Models of Concurrency - ICATPN 2007: Proc./28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007. Siedlce, Poland, June 2007 2007 Lecture Notes in Computer Science
  1. Kleijn J.
  2. Yakovlev A.
 18.09.2007
СБ Concurrency and Hardware Design: Advances in Petri Nets 2002 Lecture Notes in Computer Science
  1. Cortadella J.
  2. Yakovlev A.
  3. Rozenberg G.
 31.01.2003