From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions.

A. Compagnoni, V. Sharma, Y. Bao, M. Libera, S. Sukhishvili, P. Bidinger, L. Bioglio, и E. Bonelli. CS2Bio, том 293 из Electronic Notes in Theoretical Computer Science, стр. 35-49. Elsevier, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dream types: a domain specific type system for component-based message-oriented middleware.P. Bidinger, M. Leclercq, V. Quéma, A. Schmitt, и J. Stefani. SAVCBS@ESEC/FSE, стр. 2. ACM, (2005)An Abstract Machine for the Kell Calculus.P. Bidinger, A. Schmitt, и J. Stefani. FMOODS, том 3535 из Lecture Notes in Computer Science, стр. 31-46. Springer, (2005)Role-based access control for boxed ambients.A. Compagnoni, E. Gunter, и P. Bidinger. Theor. Comput. Sci., 398 (1-3): 203-216 (2008)The Kell Calculus: Operational Semantics and Type System.P. Bidinger, и J. Stefani. FMOODS, том 2884 из Lecture Notes in Computer Science, стр. 109-123. Springer, (2003)Pict Correctness Revisited.P. Bidinger, и A. Compagnoni. FMOODS, том 4468 из Lecture Notes in Computer Science, стр. 206-220. Springer, (2007)BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions.A. Compagnoni, V. Sharma, Y. Bao, M. Libera, S. Sukhishvili, P. Bidinger, L. Bioglio, и E. Bonelli. CS2Bio, том 293 из Electronic Notes in Theoretical Computer Science, стр. 35-49. Elsevier, (2012)