2024-03-28T15:01:42Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:00010967
2024-01-24T03:42:44Z
3:267:281
Studies on temporal logic and its application to parallel programs
Kawai, Hiroya
川井, 宏弥
open access
1989
【要旨】
1990
jpn
thesis
http://hdl.handle.net/2241/5229
https://tsukuba.repo.nii.ac.jp/records/10967
乙第592号
博士(理学)
Doctor of Philosophy in Science
1990-03-23
12102
筑波大学
University of Tsukuba
https://tsukuba.repo.nii.ac.jp/record/10967/files/B0592.pdf
application/pdf
136.6 kB