03115nam 2200625 a 450 991048325140332120200520144314.03-540-68894-310.1007/978-3-540-68894-5(CKB)1000000000440610(SSID)ssj0000317714(PQKBManifestationID)11245535(PQKBTitleCode)TC0000317714(PQKBWorkID)10294610(PQKB)10486603(DE-He213)978-3-540-68894-5(MiAaPQ)EBC3068574(PPN)127048294(EXLCZ)99100000000044061020080422d2008 uy 0engurnn#008mamaatxtccrFormal methods for computational systems biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008 : advanced lectures /Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)1st ed. 2008.Berlin ;New York Springer20081 online resource (X, 527 p.)Lecture notes in computer science,0302-9743 ;5016LNCS sublibrary. SL 2, Programming and software engineeringLectures.3-540-68892-7 Includes bibliographical references and index.Regular Lectures -- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for Systems and Synthetic Biology -- Process Algebras in Systems Biology -- The BlenX Language: A Tutorial -- BISCA Talks -- Cells in Silico: A Holistic Approach -- The Calculus of Looping Sequences -- Hybrid Systems and Biology -- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi -- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.Lecture notes in computer science.Tutorial.Lecture notes in computer science ;5016.LNCS sublibrary.SL 2,Programming and software engineering.SFM 2008Formal methods (Computer science)CongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)Integrated circuitsVerification005.1Bernardo Marco1754236Degano Pierpaolo1950-1750376Zavattaro Gianluigi1754873International School on Formal Methods for the Design of Computer, Communication, and Software SystemsMiAaPQMiAaPQMiAaPQBOOK9910483251403321Formal methods for computational systems biology4193279UNINA