A. J. Cowie, "The modelling of temporal properties in a process algebra framework," Ph.D. dissertation, School of Computer and Information Science, Faculty of Information Technology, University of South Australia, 1999. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Capturing Informal Requirements as Formal Models - Rubens Fernandes Rubens (2004) Self-citation (Cowie) (Correct)
No context found.
A. J. Cowie, "The modelling of temporal properties in a process algebra framework," Ph.D. dissertation, School of Computer and Information Science, Faculty of Information Technology, University of South Australia, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC