School of Computer Science and Software Engineering

Postgraduate profiles

Contact

Ji Bian

Phone: (+61 8) 6488 1945
Fax: (+61 8) 6488 1089


Start date

Jan 2010

Submission date

Oct 2014

Ji Bian

Thesis

An efficient tableau for reasoning over general linear timelogic

Summary

Why my research is important


 

School of Computer Science and Software Engineering

This Page

Last updated:
Wednesday, 13 February, 2013 8:19 AM

http://web.csse.uwa.edu.au/430207