Japanese / English

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
Back to list