JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "ご, てぃえんどぅっく"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 1 items.

Date of Issue	Title	Authors
Sep-2023	Circular assume-guarantee reasoning of synchronous systems using Kind 2 and Z3Py	NGO, Tien Duc; ご, てぃえんどぅっく

Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)