The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Documents Authored by: Keiichi Nakata

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Paper in Conference Proceedings

PP231 1992 Paper in Conference Proceedings Nakata,K
Behavioural Specification with Nonmonotonic Temporal Logic

PhD Thesis

PT9430 1994 PhD Thesis Nakata,K
A Causal Reasoning Approach to Behaviour-Oriented Design

[Search These Pages] [DAI Home Page] [Comment]