Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Vink, Erik de,
1 2018 Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England) Cham, Switzerland : Springer, 2018 Rating: Electronic Resources More...
2 2013 Formal methods for dynamical systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanc International School on Formal Methods for the Design of Computer, Communication, and Software Systems (13th : 2013 : Bertinoro, Italy) Rating: Electronic Resources More...
3 2012 Transactions on computational systems biology XIV : special issue on computational models for cell processes Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings