Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinor...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal methods for industrial critical systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal methods, foundations and applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal modeling and analysis of timed systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal methods: foundations and applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal modeling: actors, open systems, biological systems essays dedicated to Carolyn Talcott on the occasion of her 70th Birthday

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal techniques for distributed systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Icelan...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Predictive species and habitat modeling in landscape ecology concepts and applications

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Pre-invasive disease pathogenesis and clinical management

Available for University of the Philippines Diliman via SpringerLink. Click here to access