A. Yakovlev
8 published titles
On the models for asynchronous circuit behaviour with OR causality
(Contributor)
2 editions
- University of Newcastle upon Tyne, Computing Science
- 1993
- Details
- University of Newcastle upon Tyne, Computing Science
- 1993
- Details
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 1995
- Details
Designing control logic for counterflow pipeline processor using Petri nets
1 edition
- University of Newcastle upon Tyne, Computing Science
- 1995
- Details
Design and evaluation of two asynchronous token ring adapters
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 1997
- Details
Hardware design and petri nets
(Contributor)
1 edition
- ISBN: 0792377915
- Kluwer Academic
- 2000
- Details
Detecting state coding conflicts in STGs using integer programming
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2002
- Details
Concurrency and hardware design : advances in petri nets
(Contributor)
1 edition
- ISBN: 3540001999
- Springer
- 2002
- Details
Detecting state coding in STG unfoldings using SAT
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2003
- Details
