Author: Naoshi Uchihira

Naoshi Uchihira

Naoshi Uchihira

Publications

Publication period start: 1995
Publication period end: 1995
Number of co-authors: 1

Co-authors

Number of publications with favourite co-authors
Shinichi Honiden
1

Productive Colleagues

Most productive colleagues in number of publications
Shinichi Honiden
11

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. http://csdl.computer.org/comp/proceedings/hicss/1995/6935/00/69350359abs.htm