登入選單

返回Google圖書搜尋

The Treatment of Macro Expansions in the Temporal Logic of Parallel Programs

A. KauscheTechnische Universitäet Muenchen. Institut für InformatikF. Kröger

出版	Inst. f. Mathematik u. Informatik, TU, 1985
URL	http://books.google.com.hk/books?id=GX2rGwAACAAJ&hl=&source=gbs_api