Author: Naoshi Uchihira
Publication Overview
Publication period start: 1995
Number of co-authors: 1
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Uchihira,
Naoshi,
Honiden,
Shinichi
(1995):
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in M.
In:
HICSS 1995
,
1995,
.
pp. 359-368.
https://csdl.computer.org/comp/proceedings/hicss/1995/6935/00/69350359abs.htm