TY  - BOOK
AU  - Bernardo,Marco
AU  - Degano,Pierpaolo
AU  - Zavattaro,Gianluigi
ED  - International School on Formal Methods for the Design of Computer, Communication, and Software Systems
ED  - SpringerLink (Online service)
TI  - Formal 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 
T2  - Tutorial
SN  - 9783540688945 (electronic bk.)
U1  - 004.33 22
PY  - 2008///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Integrated circuits
KW  - Verification
N1  - Lectures; Includes bibliographical references and index; Also issued online
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-68894-5
ER  -