文献
J-GLOBAL ID:200902168281481924
整理番号:93A0504809
Modal logic and algebraic specifications.
著者 (2件):
MOSS L S
(Indiana Univ., IN, USA)
,
THATTE S R
(Clarkson Univ., NY, USA)
資料名:
Theoretical Computer Science
(Theoretical Computer Science)
巻:
111
号:
1/2
ページ:
191-210
発行年:
1993年04月12日
JST資料番号:
T0022A
ISSN:
0304-3975
CODEN:
TCSDIQ
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)