臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

About TAIR
	About TAIR

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

"jonsson b"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 26-26 of 26 (2 Page(s) Totally)
<< < 1 2
View [10|25|50] records per page

Institution	Date	Title	Author
臺大學術典藏	1995	Assumption/guarantee specifications in linear-time temporal logic	Jonsson, B; Tsay, Y.-K.; YIH-KUEN TSAY; Jonsson, B;Tsay, Y.-K.

Showing items 26-26 of 26 (2 Page(s) Totally)
<< < 1 2
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :2823698
	Visitors : 30498016 Online Users : 1368 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library