Detail of Publication
| Text Language | Japanese |
|---|---|
| Authors | Noriaki Izumi, Shinobu Takamatsu, Koichi Kise, Kunio Fukunaga |
| Title | A Specification Description of Concurrent Systems Using Process Algebra and Modal Logic |
| Journal | Trans. IEICE |
| Vol. | J80-D-I |
| No. | 4 |
| Pages | pp.411-414 |
| Reviewed or not | Reviewed |
| Month & Year | April 1997 |
- Entry for BibTeX
@Article{Izumi1997, author = {Noriaki Izumi and Shinobu Takamatsu and Koichi Kise and Kunio Fukunaga}, title = {A Specification Description of Concurrent Systems Using Process Algebra and Modal Logic}, journal = {Trans. IEICE}, year = 1997, month = apr, volume = {J80-D-I}, number = {4}, pages = {411--414} }