Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems
Ciocchetta, Federica ; Gilmore, Stephen ; Guerriero, Maria Luisa ; Hillston, Jane
Electronic notes in theoretical computer science, 2009-03, Vol.232, p.17-38
Elsevier B.V
Texto completo disponível