• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth

    Australia

  • 1031 Citations
  • 16 h-Index
1979 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1979 2019

Filter
Chapter
2014

Chapter 5: Fire Suppression and Safety. Evaluating wildfire simulators using historical fire data

Milne, G., Kelso, J., Murphy, M. & Mellor, D., 2014, Advanced in Forest Fire Research. Viegas, D. X. (ed.). Coimbra Portugal: Coimbra University Press, Portugal, p. 1366 - 1375

Research output: Chapter in Book/Conference paperChapter

2007

Property Verification within a Process Algebra Framework

Milne, G. & Cerone, A., 2007, Real-Time Systems Modeling Design and Applications. Ionescu, D. & Cornell, A. (eds.). U.S.A.: World Scientific Publishing, Vol. 8. p. 153-173 (AMAST Series in Computing).

Research output: Chapter in Book/Conference paperChapter