-
731
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...
Baskı/Yayın Bilgisi 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
732
-
733
-
734
-
735
-
736
-
737
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...
Baskı/Yayın Bilgisi 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
738
-
739
-
740


