Login / Signup
Alberto Credi
Publication Activity (10 Years)
Years Active: 2007-2008
Publications (10 Years): 0
</>
Publications
</>
Alberto Credi
,
Marco Garavelli
,
Cosimo Laneve
,
Sylvain Pradalier
,
Serena Silvi
,
Gianluigi Zavattaro
nanoK: A calculus for the modeling and simulation of nano devices.
Theor. Comput. Sci.
408 (1) (2008)
Alberto Credi
,
Marco Garavelli
,
Cosimo Laneve
,
Sylvain Pradalier
,
Serena Silvi
,
Gianluigi Zavattaro
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.
CMSB
(2007)