Microbial Enantioselective Reduction of Acetylpyridine Derivatives
- 期刊名称Bioscience, Biotechnology and Biochemistry
- 作者KAWANO, Shigeru; HORIKAWA, Miho; YASOHARA, Yoshihiko; HASEGAWA, Junzo
- 卷第67卷
- 期第4期
- 印刷ISSN0916-8451
- 电子ISSN1347-6947
- 文件大小289.96KB
- 发表时间2003-01
- DOI10.1271/bbb.67.809
- 页码809-814
Model checking as support for inspecting compliance to rules in flexible processesLetia, Ioan Alfred; Goron, Anca · Journal of Visual Languages & Computing · 2015
Assuring Safety in Air Traffic Control Systems with Argumentation and Model CheckingGómez, Sergio Alejandro; Goron, Anca; Groza, Adrian; Letia, Ioan Alfred · Expert Systems with Applications · 2015
[IEEE 2012 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Cluj, Romania (2012.08.30-2012.09.1)] 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing - Checking the norms for explanationLetia, Ioan Alfred; Goron, Anca · 2012
[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Embedding value-based argumentation in persuasive dialogsLetia, Ioan Alfred; Goron, Anca · 2011
[IEEE 2014 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj Napoca, Romania (2014.9.4-2014.9.6)] 2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP) - A temporal view on Model Checking Hybrid LogicsLetia, Ioan Alfred; Goron, Anca · 2014
[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - An Argumentation Approach to Incompletely Specified Software ServicesLetia, Ioan Alfred; Goron, Anca · 2010
[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Handling incompletely specified contracts by ArgumentationLetia, Ioan Alfred; Goron, Anca · 2010