2008 | ||
---|---|---|
2 | EE | 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): 17-30 (2008) |
2007 | ||
1 | EE | 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: 168-183 |
1 | Marco Garavelli | [1] [2] |
2 | Cosimo Laneve | [1] [2] |
3 | Sylvain Pradalier | [1] [2] |
4 | Serena Silvi | [1] [2] |
5 | Gianluigi Zavattaro | [1] [2] |