The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th Inter...

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebr...

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors o...

Formal methods is the term used to describe the specification and verification of software and so...